Coordination Models and Languages 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings Clarke, David Heftet / 2010 / Engelsk
Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings Agha Gul Heftet / 2016 / Engelsk
Formal Modeling: Actors; Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday Agha Gul Heftet / 2011 / Engelsk
Concurrent Object-Oriented Programming and Petri Nets Advances in Petri Nets Agha Gul A. Heftet / 2001 / Engelsk
Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday Agha Gul Heftet / 2014 / Engelsk