11 search results - page 3 / 3 » rex 1993 |
125
click to vote
REX
1993
15 years 7 months ago
1993
Abstract. Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling...