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
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
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
Temporal Logic of Programs
Language: en
Pages: 150
Authors: Fred Kröger
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic: language