Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988
This volume is based on the School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency organized by the editors and held in the period May 30-June 3, 1988 at Noordwijkerhout, The Netherlands. The School/Workshop was an activity of the project REX - Research and Education in Concurrent Systems. The volume contains tutorials and research contributions to the three approaches - linear time, - branching time, and - partial order in semantics and proof theory of concurrent programs by the main specialists in this field. It promotes an in-depth understanding of the relative merits and disadvantages of thes…
Mehr
CHF 165.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Roever, Willem-Paul de (Hrsg.) / Rozenberg, Grzegorz (Hrsg.)
- ISBN: 978-3-540-51080-2
- EAN: 9783540510802
- Produktnummer: 3498580
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 1989
- Seitenangabe: 728 S.
- Masse: H23.5 cm x B15.5 cm x D3.8 cm 1'083 g
- Auflage: 1989
- Abbildungen: Paperback
- Gewicht: 1083
3 weitere Werke von Jacobus W. de (Hrsg.) Bakker:
Bewertungen
Anmelden