Search - IFIP Open Digital Library Access content directly

Filter your results

2 results
authFullName_s : Tiziana Cimoli
Page :
sorted by
Image document

Lending Petri Nets and Contracts

 Massimo Bartoletti , Tiziana Cimoli , G. Michele Pinna
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.66-82, ⟨10.1007/978-3-642-40213-5_5⟩
Conference papers hal-01514665v1
Image document

Compliance and Subtyping in Timed Session Types

 Massimo Bartoletti , Tiziana Cimoli , Maurizio Murgia , Alessandro Sebastian Podda , Livio Pompianu
35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.161-177, ⟨10.1007/978-3-319-19195-9_11⟩
Conference papers hal-01767334v1
Page :