Branching Time, and Partial Order in Logics and Models for Concurrency (1988 : Noordwijkerhout, Netherlands) Workshop on Linear Time

Identifiers

Open LibraryOL2681290A

Books by Branching Time, and Partial Order in Logics and Models for Concurrency (1988 : Noordwijkerhout, Netherlands) Workshop on Linear Time

Total count: 1

Linear Time, Branching Time, and Partial Order in Logics and Models for ConcurrencySchool/Workshop, Noordwijkerhout, the Netherlands May 30-June 3, (Lecture Notes in Computer Science)

Springer1989-07-01