Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988

Bibliographic Information

Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988

J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.)

(Lecture notes in computer science, 354)

Springer-Verlag, c1989

  • : gw
  • : us

Available at  / 57 libraries

Search this Book/Journal

Note

"Based on the 'School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency' organized by the editors"--Pref.

Includes bibliographical references

Related Books: 1-1 of 1

Details

Page Top