Jacobus W. De Bakker - Böcker
Visar alla böcker från författaren Jacobus W. De Bakker. Handla med fri frakt och snabb leverans.
4 produkter
4 produkter
1 096 kr
Skickas inom 10-15 vardagar
PARLE Parallel Architectures and Languages Europe
Vol.1: Parallel Architectures, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings
Häftad, Engelska, 1987
519 kr
Skickas inom 10-15 vardagar
PARLE Parallel Architectures and Languages Europe
Vol. 2: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings
Häftad, Engelska, 1987
519 kr
Skickas inom 10-15 vardagar
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988
Häftad, Engelska, 1989
1 096 kr
Skickas inom 10-15 vardagar
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.