Semantics of Systems of Concurrent Processes

Semantics of Systems of Concurrent Processes
Author :
Publisher : Springer Science & Business Media
Total Pages : 466
Release :
ISBN-10 : 3540534792
ISBN-13 : 9783540534792
Rating : 4/5 (792 Downloads)

Book Synopsis Semantics of Systems of Concurrent Processes by : Irene Guessarian

Download or read book Semantics of Systems of Concurrent Processes written by Irene Guessarian and published by Springer Science & Business Media. This book was released on 1990-11-28 with total page 466 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the proceedings of the 1990 Spring School of Theoretical Computer Science, devoted to the semantics of concurrency. The papers are of two kinds: - surveys and tutorials introducing the subject to novices and students and giving updates of the state of the art, - research papers presenting recent achievements in the semantics of concurrency. The contributions explicate the connections, similarities and differences between various approaches to the semantics of concurrency, such as pomsets and metric semantics, event structures, synchronization trees, fixpoints and languages, traces, CCS and Petri nets, and categorical models. They also cover and compare the various notions of observation and bisimulation equivalences, logics for concurrency, and applications to dis- tributed systems.


Semantics of Systems of Concurrent Processes Related Books

Semantics of Systems of Concurrent Processes
Language: en
Pages: 466
Authors: Irene Guessarian
Categories: Computers
Type: BOOK - Published: 1990-11-28 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains the proceedings of the 1990 Spring School of Theoretical Computer Science, devoted to the semantics of concurrency. The papers are of two k
Semantic Cognition
Language: en
Pages: 446
Authors: Timothy T. Rogers
Categories: Computers
Type: BOOK - Published: 2004 - Publisher: MIT Press

DOWNLOAD EBOOK

A mechanistic theory of the representation and use of semantic knowledge that uses distributed connectionist networks as a starting point for a psychological th
Handbook of Process Algebra
Language: en
Pages: 1357
Authors: J.A. Bergstra
Categories: Computers
Type: BOOK - Published: 2001-03-16 - Publisher: Elsevier

DOWNLOAD EBOOK

Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It
CONCUR 2004 -- Concurrency Theory
Language: en
Pages: 534
Authors: Philippa Gardner
Categories: Computers
Type: BOOK - Published: 2004-08-19 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 15th International Conference on Concurrency Theory, CONCUR 2004, held in London, UK in August/September 2
Modeling and Verification of Parallel Processes
Language: en
Pages: 228
Authors: Franck Cassez
Categories: Computers
Type: BOOK - Published: 2003-06-29 - Publisher: Springer

DOWNLOAD EBOOK

Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP