Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988
Author(s)
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
(Lecture notes in computer science, 354)
Springer-Verlag, c1989
- : gw
- : us
Available at / 57 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||35489005775
-
Research Institute for Economics & Business Administration (RIEB) Library , Kobe University図書
: gw621.34-446-354s081000080293*
-
University of Tsukuba Library, Library on Library and Information Science
: gw007.08:L-49:354891029730
-
No Libraries matched.
- Remove all filters.
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