Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	März 1989
Genre:	EDV / Informatik
	Betriebssysteme / Computerprogrammierung und Softwareentwicklung / datastructures / Datenbanken / Datenmanagement / distributedsystems / EDV / Theorie / Allgemeines / Linear / Logic / Logik / Modeling / Online / Philosophie / Logik / Rechnerarchitektur und Logik-Entwurf / Semantics / Verification / Zeit mehr...
ISBN:	9783540510802
EAN-Code:	9783540510802
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 39 mm
Gewicht:	1083 gr
Seiten:	728
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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 these three approaches. An introduction to the recent literature on the subject is provided by the invited research contributions.