Dynamic Role Authorization in Multiparty Conversations. arXiv preprint arXiv:1408.5977.(2014).
(edited by) Proceedings 7th Interaction and Concurrency Experience, ICE 2014 (Berlin, Germany, 6th June 2014). Electronic Proceedings in Theoretical Computer Science. 166,(2014).
Proceedings 7th Interaction and Concurrency Experience. arXiv preprint arXiv:1410.7013.(2014).
Typing liveness in multiparty communicating systems. Coordination Models and Languages. 147–162.(2014).
A type system for flexible role assignment in multiparty communicating systems. Trustworthy Global Computing. 82–96.(2013).
Typing progress in communication-centred systems. Coordination Models and Languages. 236–250.(2013).
SLMC: a tool for model checking concurrent systems against dynamical spatial logic specifications. Tools and Algorithms for the Construction and Analysis of Systems. 485–491.(2012).