Perspectives in Concurrency

Inbunden, Engelska, 2009

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

879 kr

Skickas tisdag 2/12

Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum2009-04-15
Mått156 x 234 x undefined mm
Vikt1 034 g
FormatInbunden
SpråkEngelska
Antal sidor512
FörlagTaylor & Francis Inc
ISBN9781439809433

Tillhör följande kategorier

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.