School of Computing

Publications by Dr Maurizio Murgia

Also view these in the Kent Academic Repository

Bartoletti, M. et al. (2015). Verifiable abstractions for contract-oriented systems. Journal of Logical and Algebraic Methods in Programming [Online] 86:159-207. Available at:
Conference or workshop item
Bartoletti, M. et al. (2016). A Contract-Oriented Middleware. in: International Workshop on Formal Aspects of Component Software. Springer, pp. 86-104. Available at:
Bartoletti, M. et al. (2015). Compliance and Subtyping in Timed Session Types. in: International Conference on Formal Techniques for Distributed Objects, Components, and Systems. Springer, pp. 161-177. Available at:
Total publications in KAR: 3 [See all in KAR]

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 17/10/2018