Works:
- Concurrent object oriented programming and Petri nets : advances in Petri nets
- Formal modeling : actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday
- Concurrent objects and beyond : papers dedicated to Akinori Yonezawa on the occasion of his 65th birthday