Matches in Harvard for { <http://id.lib.harvard.edu/aleph/001703430/catalog> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- catalog abstract ""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.''--Publisher's website.".
- catalog contributor b2440275.
- catalog contributor b2440276.
- catalog contributor b2440277.
- catalog contributor b2440278.
- catalog created "c1989.".
- catalog date "1989".
- catalog date "c1989.".
- catalog dateCopyrighted "c1989.".
- catalog description ""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.''--Publisher's website.".
- catalog description "Includes bibliographical references.".
- catalog extent "viii, 713 p. :".
- catalog hasFormat "Linear time, branching time, and partial order in logics and models for concurrency.".
- catalog identifier "038751080X (U.S.)".
- catalog isFormatOf "Linear time, branching time, and partial order in logics and models for concurrency.".
- catalog isPartOf "Lecture notes in computer science ; 354".
- catalog issued "1989".
- catalog issued "c1989.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog relation "Linear time, branching time, and partial order in logics and models for concurrency.".
- catalog subject "004/.35 20".
- catalog subject "Electronic data processing Distributed processing.".
- catalog subject "Parallel processing (Electronic computers)".
- catalog subject "QA76.5 .L523 1989".
- catalog title "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.).".
- catalog type "Kongress. swd".
- catalog type "text".