Overview
- Authors:
-
-
Marta Zofia Kwiatkowska
-
Department of Computing Studies, University of Leicester, Leicester, UK
-
Michael William Shields
-
Engineering Electronic Laboratories, The University Canterbury, Kent, UK
-
Richard Monro Thomas
-
Department of Computing Studies, University of Leicester, Leicester, UK
Access this book
Other ways to access
Table of contents (20 papers)
-
Front Matter
Pages i-viii
-
- Colin Stirling, David Walker
Pages 1-15
-
- Eike Best, Ludmila Cherkasova, Jörg Desel, Javier Esparza
Pages 16-20
-
-
- F. S. de Boer, J. N. Kok, C. Palamidessi, J. J. M. M. Rutten
Pages 38-60
-
- F. P. M. Dignum, J.-J. Ch. Meyer
Pages 61-80
-
- Bard Bloom, Albert R. Meyer
Pages 81-95
-
- S. L. Bloom, Z. Ésik, D. Taubner
Pages 96-115
-
- Stephen Brookes, Shai Geva
Pages 116-136
-
-
-
- David B. Benson, Prakash Panangaden, James R. Russell
Pages 175-184
-
- Greg Findlow, Jonathan Billington
Pages 185-203
-
- Joost Engelfriet, George Leih, Grzegorz Rozenberg
Pages 204-221
-
-
- J. J. M. Hooman, S. Ramesh, W. P. de Roever
Pages 242-261
-
-
-
-
- Uri Abraham, Shai Ben-David, Menachem Magidor
Pages 311-323
About this book
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 different, and often incompatible, attitudes towards abstracting non-sequential behaviour. When confronted with process algebras, which give rise to very elegant, highly abstract and com positional models, traditionally based on the interleaving abstraction, some argue that the wealth of contribution they have made is partially offset by the difficulty in dealing with topics such as faimess. On the other hand, the non-interleaving approaches, based on causality, although easing problems with fairness and confusion, still lack struc ture, compositionality, and the elegance of the interleaving counter parts. Since both these approaches have undoubtedly provided important contributions towards understanding of concurrent systems, one should concentrate on what they have in common, rather than the way they differ. The Intemational Workshop on Semantics for Concurrency held at the University of Leicester on 23-25 July 1990 was organised to help overcome this problem. Its main objective was not to be divisive, but rather to encourage discussions leading towards the identification of the positive objective features of the main approaches, in the hope of furthering common understanding. The Workshop met with an excel lent response, and attracted contributions from all over the world. The result was an interesting and varied programme, which was a combi nation of invited and refereed papers. The invited speakers were: Prof. dr. E. Best (Hildesheim University) Prof. dr. A.