Your Waterstones card is changing, introducing...
TELL ME MORE
Semantics for Concurrency: Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK - Workshops in Computing (Paperback)
  • Semantics for Concurrency: Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK - Workshops in Computing (Paperback)
zoom

Semantics for Concurrency: Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK - Workshops in Computing (Paperback)

(editor), (editor), (editor)
£76.50
Paperback 346 Pages / Published: 23/07/1990
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540196259
Number of pages: 346
Weight: 614 g
Dimensions: 240 x 170 x 19 mm

You may also be interested in...

Coaching Agile Teams
Added to basket
Design Patterns
Added to basket
£43.99
Hardback
Domain-Driven Design
Added to basket
£55.99
Hardback
The Mythical Man-Month
Added to basket
Test Driven Development
Added to basket
Peopleware
Added to basket
£32.99
Paperback
User Story Mapping
Added to basket
£27.99
Paperback
Impact Mapping
Added to basket
£9.99
Paperback
The Algorithm Design Manual
Added to basket
£55.07
Mixed media product
Essential Scrum
Added to basket
£36.99
Paperback
Continuous Delivery
Added to basket
£43.99
Hardback
Git Pocket Guide
Added to basket
User Stories Applied
Added to basket
£40.99
Paperback
The Clean Coder
Added to basket
£32.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.