Sciweavers

REX
1993
15 years 29 days ago
Linear Logic on Petri Nets
Uffe Engberg, Glynn Winskel
REX
1993
15 years 29 days ago
Interaction Diagrams
Joachim Parrow
REX
1993
15 years 29 days ago
Verification Tools for Finite-State Concurrent Systems
Edmund M. Clarke, Orna Grumberg, David E. Long
REX
1993
15 years 29 days 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
110
Voted
REX
1993
15 years 29 days ago
Process Algebra with Backtracking
Jan A. Bergstra, Alban Ponse, Jos van Wamel