Sciweavers

11 search results - page 3 / 3
» rex 1993
Sort
View
78
Voted
REX
1993
15 years 2 months ago
Relationships Between Models of Concurrency
Abstract. Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling...
Mogens Nielsen, Vladimiro Sassone, Glynn Winskel