Publications

Filters: Author is Mario Bravetti [Clear All Filters]

2018

F. S. de Boer, Bravetti, M., Lee, M. D., and Zavattaro, G., “A Petri Net Based Modeling of Active Objects and Futures”, Fundam. Informaticae, vol. 159, pp. 197–256, 2018.

paper-800.pdf (499.42 KB)

2013

F. S. de Boer, Bravetti, M., Grabe, I., Lee, M. D., Steffen, M., and Zavattaro, G., “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.

2009

J. Planul, Corin, R., and Fournet, C., “Secure Enforcement for Global Process Specifications”, in CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings, 2009, pp. 511-526.

2004

M. Bravetti and D'Argenio, P. R., “Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions”, in Validation of Stochastic Systems - A Guide to Current Research, 2004, vol. LNCS 2925, pp. 44-88.

paper-29.pdf (637.4 KB)