Publications

Export 3 results:
Sort by: Author Title Type [ Year (Desc)]
2012
Bruni, R, Ferreira C, Kauer AK.  2012.  First-Order Dynamic Logic for Compensable Processes, June 14-15. Coordination Models and Languages - 14th International Conference. :104-121., Stockholm, Swenden Abstract

n/a

Baltazar, P, Caires L, Vasconcelos VT, Vieira HT.  2012.  A Type System for Flexible Role Assignment in Multiparty Communicating Systems. Proceedings of the 7th International Symposium on Trustworthy Global Computing (TGC). Abstract
n/a
2011
Baltazar, P, Vasconcelos VT, Vieira HT.  2011.  Typing Dynamic Roles in Multiparty Interaction. Simpósio de Informática (INForum). Abstract
n/a