Browse by Person (creator, editor, contributor, etc.)
 | Up a level |
Jump to: Article | Conference or workshop item
Number of items: 4.
Article
| Bartoletti, Massimo and Murgia, Maurizio and Scalas, Alceste and Zunino, Roberto (2015) Verifiable abstractions for contract-oriented systems. Journal of Logical and Algebraic Methods in Programming, 86 (1). pp. 159-207. ISSN 2352-2208. (doi:https://doi.org/10.1016/j.jlamp.2015.10.005) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
Conference or workshop item
| Bartoletti, Massimo and Bocchi, Laura and Murgia, Massimo (2018) Progress-preserving Refinements of CTA. In: Leibniz International Proceedings in Informatics. LIPIcs–Leibniz International Proceedings in Informatics. LIPICS ISBN 978-3-95977-087-3. (doi:https://doi.org/10.4230/LIPIcs.CONCUR.2018.40) (Full text available) |
|
| Bartoletti, Massimo and Cimoli, Tiziana and Murgia, Maurizio and Podda, Alessandro Sebastian and Pompianu, Livio (2016) A Contract-Oriented Middleware. In: International Workshop on Formal Aspects of Component Software, 14-16 Oct 2015, Niterói, Brazil. (doi:https://doi.org/10.1007/978-3-319-28934-2_5) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Bartoletti, Massimo and Cimoli, Tiziana and Murgia, Maurizio and Podda, Alessandro Sebastian and Pompianu, Livio (2015) Compliance and Subtyping in Timed Session Types. In: International Conference on Formal Techniques for Distributed Objects, Components, and Systems, 02-04 Jun 2015, Grenoble, France. (doi:https://doi.org/10.1007/978-3-319-19195-9_11) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
