Your search returned 2 results.

Not what you expected? Check for suggestions
1.
Current Trends in Concurrency

by Jacobus W. De Bakker, Willem-Paul De Roever, Grzegorz Rozenberg.

Series: Lecture Notes in Computer ScienceEdition: 1986Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1986Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

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

by Jacobus W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg.

Series: Lecture Notes in Computer ScienceEdition: 1989Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1989Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .