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

Author detail

1 featured book

Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.

OL2681290A

Overview

Catalog identity and bibliographic footprint for this author.

1 representative edition

Author pages in Bookitis are intended to show only works actually attributed to the author and a representative edition for each of those works.

How this author appears inside the active Bookitis catalog.

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

Representative editions for works actually authored by this person.

Linear Time, Branching Time, an...Branching Time, and Partial Order in Logics and Models for Concurrency (1988 : Noordwijkerhout, Netherlands) Workshop on Linear Time
LT
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 | 1989
Representative edition for this work grouping in the active catalog.
no cover

Quick navigation into the work-level grouping pages behind the featured books.

Linear time, branching time, and partial order in logics and models for concurrency
Representative edition published 1989
Open Work