Related Books
Language: en
Pages: 412
Pages: 412
Type: BOOK - Published: 1988-10-12 - Publisher: Springer Science & Business Media
This volume contains the proceedings of CONCURRENCY 88, an international conference on formal methods for distributed systems, held October 18-19, 1988 in Hambu
Language: en
Pages: 412
Pages: 412
Type: BOOK - Published: 2014-01-15 - Publisher:
Language: en
Pages: 353
Pages: 353
Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media
The semantics of concurrent systems is one of the most vigorous areas of research in theoretical computer science, but suffers from disagree ment due to differe
Language: en
Pages: 364
Pages: 364
Type: BOOK - Published: 2013-03-08 - Publisher: Springer Science & Business Media
This book is the proceedings of the Structures in Concurrency Theory workshop (STRICT) that was held from 11 th to l3th May 1995 in Berlin, Germany. It includes
Language: en
Pages: 466
Pages: 466
Type: BOOK - Published: 1990-11-28 - Publisher: Springer Science & Business Media
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