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

Bakker, Jacobus Willem de, Roever, W.-P. de, Rozenberg, Grzegorz, School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

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

Web Site CiNii Available at 57 libraries

Bakker, Jacobus Willem de
Roever, W.-P. de
Rozenberg, Grzegorz
School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

Bibliographic Information

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

Statement of Responsibility: J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.)

Publisher

Springer-Verlag

Publication Year

c1989

Book size: 25 cm

Series Name / No

: gw
: us

Search this Book/Journal

NDL Search
Calil
WorldCat

Notes

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

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

Search this Book/Journal

Notes

Related Books

Details 詳細情報について

Export