School of Computing

Publications by Dr Maurizio Murgia

Also view these in the Kent Academic Repository

Article
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: https://doi.org/10.1016/j.jlamp.2015.10.005.
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: https://doi.org/10.1007/978-3-319-28934-2_5.
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: https://doi.org/10.1007/978-3-319-19195-9_11.
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/12/2017