![]() |
![]() |
Your cart is empty |
||
Showing 1 - 4 of 4 matches in All Departments
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.
|
![]() ![]() You may like...
Blockchain and Public Law - Global…
Oreste Pollicino, Giovanni De Gregorio
Hardcover
R3,190
Discovery Miles 31 900
Ending Childhood Obesity - A Challenge…
Amandine Garde, Joshua Curtis, …
Hardcover
R4,190
Discovery Miles 41 900
British Playwrights, 1880-1956 - A…
William W. Demastes, Katherine Kelly
Hardcover
R2,511
Discovery Miles 25 110
|