Publications

Export 1 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: Author is Gwen Salaün  [Clear All Filters]
Book Chapter
F. S. de Boer, M. Bravetti, I. Grabe, M. D. Lee, M. Steffen, and G. Zavattaro, “A Petri Net Based Analysis of Deadlocks for Active Objects and Futures”, in Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers, vol. 7684, C. S. Păsăreanu and G. Salaün, Eds. 2013, p. 110-127.