Produktbild
Marta Z. (Hrsg.) Kwiatkowska

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

Ebook (PDF Format)

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)

Versandfertig innerhalb 1-3 Werktagen
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


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.