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 (92 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
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
Introduction to Process Algebra
Language: en
Pages: 171
Authors: Wan Fokkink
Categories: Mathematics
Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware s
Understanding Concurrent Systems
Language: en
Pages: 528
Authors: A.W. Roscoe
Categories: Computers
Type: BOOK - Published: 2010-10-10 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes b
Truly Concurrent Process Algebra With Localities
Language: en
Pages: 476
Authors: Yong Wang
Categories: Computers
Type: BOOK - Published: 2024-08-20 - Publisher: Elsevier

DOWNLOAD EBOOK

Truly Concurrent Process Algebra with Localities introduces localities into truly concurrent process algebras. The book explores all aspects of localities in tr