Accepted Papers

  • Claude Stolze, Marino Miculan and Pietro Di Gianantonio. Composable Partial Multiparty Session Types
  • Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini and Pawel Sobocinski. A Canonical Algebra of Open Transition Systems
  • Frederic Dadeau, Jean-Philippe Gros and Olga Kouchnarenko. Automated Generation of Initial Configurations for Testing Component Systems
  • Jan Martens, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma and Anton Wijs. A linear parallel algorithm to compute bisimulation and relational coarsest partitions
  • Marius Bozga and Radu Iosif. Specification and Verification of Parametric Systems with Recursive Architectures
  • Salim Chehida, Saddek Bensalem and Abdelhakim Baouya. Component-based Approach Combining UML and BIP for Rigorous System Design
  • Simone Orlando, Vairo Di Pasquale, Franco Barbanera, Ivan Lanese and Emilio Tuosto. Corinne, a Tool for the Composition of Choreography Automata
  • Yliès Falcone, Hosein Nazarpour, Saddek Bensalem and Marius Bozga. Monitoring Distributed Component-Based Systems

Comments are closed.