1. A type system for client progress in a service-oriented calculus;Acciai,2008
2. Behavioural contracts with request-response operations;Acciai,2010
3. Sub-behaviour relations for session-based client/server systems;Barbanera;Math. Struct. Comput. Sci.,2015
4. Timed session types;Bartoletti;Log. Methods Comput. Sci.,2017
5. Lending Petri nets;Bartoletti;Sci. Comput. Program.,2015