Abstract is missing.
- A Distributed Coordination Infrastructure for Attribute-Based InteractionYehia Abd Alrahman, Rocco De Nicola, Giulio Garbi, Michele Loreti. 1-20 [doi]
- Applied ChoreographiesSaverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli. 21-40 [doi]
- Monotonic Prefix Consistency in Distributed SystemsAlain Girault, Gregor Gößler, Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi. 41-57 [doi]
- A Modest Security Analysis of Cyber-Physical Systems: A Case StudyRuggero Lanotte, Massimo Merro, Andrei Munteanu. 58-78 [doi]
- Relating Process Languages for Security and Communication Correctness (Extended Abstract)Daniele Nantes, Jorge A. Pérez. 79-100 [doi]
- A Calculus for Modeling Floating AuthorizationsJovanka Pantovic, Ivan Prokic, Hugo Torres Vieira. 101-120 [doi]
- Parameter Synthesis Algorithms for Parametric Interval Markov ChainsLaure Petrucci, Jaco van de Pol. 121-140 [doi]
- Information Flow Tracking for Side-Effectful LibrariesAlexander Sjösten, Daniel Hedin, Andrei Sabelfeld. 141-160 [doi]
- On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and ConsistencyKim Völlinger, Samira Akili. 161-180 [doi]
- Preserving Contract Satisfiability Under Non-monotonic CompositionJonas Westman, Mattias Nyberg. 181-195 [doi]