Cassez, Franck et al Eds.
Modeling and Verification of Parallel Processes, 4th Summer School, France, 2000 - Berlin Springer 2001 - 222 - Lecture notes in computer science ; 02067 .
3540427872
Parallel Processes
681 LNCS
Modeling and Verification of Parallel Processes, 4th Summer School, France, 2000 - Berlin Springer 2001 - 222 - Lecture notes in computer science ; 02067 .
3540427872
Parallel Processes
681 LNCS