Perspectives in Concurrency

— —

Kamal Lodaya (Institute of Mathematical Science, Chennai, India) Madhavan Mukund (Institute of Mathematical Science, Chennai, India)

Perspectives in Concurrency

Kamal Lodaya (Institute of Mathematical Science, Chennai, India), Madhavan Mukund (Institute of Mathematical Science, Chennai, India)

$98.99

Hardback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We then advise you accordingly. If the time taken to get any book is too long for you, you can let us know and we will cancel or adjust your order, and refund as required.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

CRC Press Inc
15 April 2009

Applied mathematics; Computing: general; Computer science

Concurrency theory is an important research area within theoretical computer science, with applications in parallel and distributed computing. This book provides an overview of current research in concurrency through state-of-the-art contributions from worldwide experts. Covering contemporary topics, including Petri Nets, Temporal Logics, Program Verification with concurrent threads, Computational Trust, and more, this book presents emerging research in this important field.

Edited by: Kamal Lodaya (Institute of Mathematical Science Chennai India), Madhavan Mukund (Institute of Mathematical Science, Chennai, India)
Imprint: CRC Press Inc
Country of Publication: United States
Dimensions: Height: 234mm, Width: 156mm,
Weight: 1.034kg
ISBN: 9781439809433
ISBN 10: 1439809437
Pages: 512
Publication Date: 15 April 2009
Audience: College/higher education , General/trade , Primary , ELT Advanced
Format: Hardback
Publisher's Status: Active

Preface, Modular Synthesis of Petri Nets from Regular Languages, On the Reducibility of Persistent Petri Nets, On Extensions of Timed Automata, Scheduling Stochastic Branching Processes, Local Safety and Local Liveness for Distributed Systems, Eliminating Past Operators in Metric Temporal Logic, Static Deadlock Prevention in Dynamically Configured Communication Networks, Reachability and Boundedness in Time-Constrained MSC Graphs, Test Generation for Integrated System Models Capturing State-based and MSC-based Notations, How Hard is Smart Play-Out? On the Complexity of Verification-Driven Execution, Symmetry in Petri Nets, Steps and Coverability in Inhibitor Nets, Probabilistic Computational Trust, Folding Systems of Communicating Agents, Decidable Logics for Event Structures, A Look at the Control of Asynchronous Automata, A Sampling Approach to the Analysis of Metric Temporal Logic, Abstract Switches: A Distributed Model of Communication and Computation, Dynamic Logic of Tree Composition, Axiomatization of a Class of Parametrised Bisimilarities, Path Logics with Synchronization, Logic-Based Diagnosis for Distributed Systems.

Kamal Lodaya, Madhavan Mukund and R Ramanujam, Institute of Mathematical Sciences, Chennai.