|
|
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.
|
|
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
