Abstract is missing.
- Learning Assumptions for Verifying Cryptographic Protocols CompositionallyZichao Zhang, Arthur Azevedo de Amorim, Limin Jia 0001, Corina S. Pasareanu. 3-23 [doi]
- Component-Based Approach Combining UML and BIP for Rigorous System DesignSalim Chehida, Abdelhakim Baouya, Saddek Bensalem. 27-43 [doi]
- Composable Partial Multiparty Session TypesClaude Stolze, Marino Miculan, Pietro Di Gianantonio. 44-62 [doi]
- A Canonical Algebra of Open Transition SystemsElena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski 0001. 63-81 [doi]
- Corinne, a Tool for Choreography AutomataSimone Orlando, Vairo Di Pasquale, Franco Barbanera, Ivan Lanese, Emilio Tuosto. 82-92 [doi]
- Specification and Safety Verification of Parametric Hierarchical Distributed SystemsMarius Bozga, Radu Iosif. 95-114 [doi]
- A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest PartitionsJan Martens 0001, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma, Anton Wijs. 115-133 [doi]
- Automated Generation of Initial Configurations for Testing Component SystemsFrédéric Dadeau, Jean-Philippe Gros, Olga Kouchnarenko. 134-152 [doi]
- Monitoring Distributed Component-Based SystemsYliès Falcone, Hosein Nazarpour, Saddek Bensalem, Marius Bozga. 153-173 [doi]