Concurrent Object-Oriented Programming and Petri Nets 2001

Section I

Section II

Section III

Section IV

a service of Schloss Dagstuhl - Leibniz Center for Informatics