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

Buch

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 126.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Thomas, Richard M. (Hrsg.) / Shields, Michael W. (Hrsg.)
  • ISBN: 978-3-540-19625-9
  • EAN: 9783540196259
  • Produktnummer: 15254000
  • Verlag: Springer London
  • Sprache: Englisch
  • Erscheinungsjahr: 1990
  • Seitenangabe: 356 S.
  • Masse: H24.4 cm x B17.0 cm x D1.9 cm 615 g
  • Auflage: 1st Edition
  • Abbildungen: Paperback
  • Gewicht: 615

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.