Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency

Loading edition detail...

Preparing this view.

Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency

W. P. De Roever, J. W. De Bakker, School, Branching Time, and Partial Order in Logics and Models for Concurrency (1988 : Noordwijkerhout, Netherlands) Workshop on Linear Time

Bookitis Pick

Linear Time, Branching Time, and Partial Order in Logics and M...W. P. De Roever, J. W. De Bakker, School, Branching Time, and Partial Order in Logics and Models for Concurrency (1988 : Noordwijkerhout, Netherlands) Workshop on Linear Time

W. P. De Roever, J. W. De Bakker, School, Branching Time, and Partial Order in Logics and Models for Concurrency (1988 : Noordwijkerhout, Netherlands) Workshop on Linear TimePublished July 1989

This page shows the publication-specific record: publisher, date, identifiers, and all of the context needed to decide whether this is the copy you want.

Main catalog entry More like this

Publisher	Springer
Pages	713
Search language	english
ISBN_10	0-387-51080-X primary
ISBN_13	978-0-387-51080-4 primary

Other editions of this title

Publication-specific alternatives linked to the same work.

No other linked editions are currently available for this work in the active snapshot.