Types Monitoring Networks through Multiparty Session Types, p.50 ,
and Daniele Varacca Polymorphic Types for Leak Detection in a Session-Oriented Functional ,
Merayo, and Manuel Núñez Input-Output Conformance Simulation (iocos) for Model Based Testing, p.114 ,
Table of Contents Session 4: DisCoTec Joint Session Model Checking Distributed Systems against Temporal-Epistemic Specifications 130 Andreas Griesmayer and Alessio Lomuscio Session 5: Model Checking Formal Verification of Distributed Branching Multiway Synchronization Protocols, 146 Hugues Evrard and Frédéric Lang ,
An Abstract Framework for Deadlock Prevention, p.161 ,
Zaraket Bounded Model Checking of Graph Transformation Systems via, p.178 ,
Automata Verification of Directed Acyclic Ad Hoc Networks ,
Mohamed Faouzi Atig, and Othmane Rezine Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels, p.209 ,
Rakamari´cRakamari´c Session 7: Distribution and Concurrency A Timed Component Algebra for Services, p.242 ,
Axel Legay, and Antónia Lopes Probabilistic Analysis of the Quality Calculus, p.258 ,
Security Lintent: Towards Security Type-Checking of Android Applications, p.289 ,