Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

2 results
Document type : Conference papers
Page :
sorted by
Image document

Probabilistic Analysis of the Quality Calculus

 Hanne Riis Nielson , Flemming Nielson
15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.258-272, ⟨10.1007/978-3-642-38592-6_18⟩
Conference papers hal-01515243v1
Image document

Towards Probabilistic Session-Type Monitoring

 Christian Bartolo Burlò , Adrian Francalanza , Alceste Scalas , Catia Trubiani , Emilio Tuosto
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.106-120, ⟨10.1007/978-3-030-78142-2_7⟩
Conference papers hal-03387845v1
Page :