Gul A. Agha

Concurrent object-oriented programming and Petri nets