Composition and Abstraction

Antti Valmari. Composition and Abstraction. In Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan, editors, Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Volume 2067 of Lecture Notes in Computer Science, pages 58-98, Springer, 2000. [doi]

Authors

Antti Valmari

This author has not been identified. Look up 'Antti Valmari' in Google