Publications
Filters: Author is Frank S. de Boer [Clear All Filters]
, “A Petri Net Based Modeling of Active Objects and Futures”, Fundam. Informaticae, vol. 159, pp. 197–256, 2018.
paper-800.pdf (499.42 KB)
paper-800.pdf (499.42 KB), “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, 2013, vol. 7684, pp. 110-127.