Items where Author, Editor or other role is "Murgia, Maurizio"
Number of items: 6.
Bocchi, Laura and King, Andy and Murgia, Maurizio (2023) Asynchronous Subtyping by Trace Relaxation. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Lecture notes in computer science, 14570 . Springer, pp. 207-226. (In press) (doi:10.1007/978-3-031-57246-3_12) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:105395) |
Bocchi, Laura, Murgia, Maurizio, Vasconcelos, Vasco Thudichum, Yoshida, Nobuko (2019) Asynchronous timed session types: from duality to time-sensitive processes. In: Lecture Notes in Computer Science. Programming Languages and Systems. ESOP 2019. 11423. pp. 583-610. Springer ISBN 978-3-030-17183-4. E-ISBN 978-3-030-17184-1. (doi:10.1007/978-3-030-17184-1_21) (KAR id:72337) |
Murgia, Maurizio (2018) On Urgency in Asynchronous Timed Session Types. In: Electronic Proceedings in Theoretical Computer Science. Proceedings 11th Interaction and Concurrency Experience. 279. pp. 85-94. Open Publishing Association (doi:10.4204/EPTCS.279.9) (KAR id:69683) |
Bartoletti, Massimo, Cimoli, Tiziana, Murgia, Maurizio, Podda, Alessandro Sebastian, Pompianu, Livio (2016) A Contract-Oriented Middleware. In: International Workshop on Formal Aspects of Component Software, 14-16 Oct 2015, NiterĂ³i, Brazil. (doi: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) (KAR id:64598) |
Bartoletti, Massimo, Murgia, Maurizio, Scalas, Alceste, 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: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) (KAR id:64593) |
Bartoletti, Massimo, Cimoli, Tiziana, Murgia, Maurizio, Podda, Alessandro Sebastian, 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: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) (KAR id:64597) |