Antti Valmari;Manu Setälä
-;-
Composition and Abstraction
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Composition and abstraction
Modeling and verification of parallel processes