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: 354
Pages: 354
Type: BOOK - Published: 1991-04-10 - Publisher: Springer Science & Business Media
This volume is a collection of papers on topics focused around concurrency, based on research work presented at the UK/Japan Workshop held at Wadham College, Ox
Language: en
Pages: 420
Pages: 420
Type: BOOK - Published: 1996-11-19 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the Second Asian Conference on Computing Science, ASIAN'96, held in Singapore in December 1996. The volume pre
