Browse by Person (creator, editor, contributor, etc.)
Up a level |
Jump to: Conference or workshop item
Number of items: 2.
Conference or workshop item
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) |