Publications

Export 2 results:
Author Title Type [ Year(Desc)]
Filters: Author is Gianluigi Zavattaro  [Clear All Filters]
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.
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.
Powered by Drupal