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
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 wit…
Mehr
CHF 103.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Shields, Michael W. (Hrsg.) / Thomas, Richard M. (Hrsg.)
- ISBN: 978-1-4471-3860-0
- EAN: 9781447138600
- Produktnummer: 37289738
- Verlag: Springer London
- Sprache: Englisch
- Erscheinungsjahr: 2013
- Seitenangabe: 346 S.
- Plattform: PDF
- Auflage: 1990
1 weiteres Werk von Marta Z. (Hrsg.) Kwiatkowska:
Bewertungen
Anmelden