Formal Techniques for Distributed Objects, Components, and Systems: 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

Front Matter ....Pages i-xiv
Front Matter ....Pages 1-1
 Psi-Calculi Revisited: Connectivity and Compositionality  (Johannes Åman Pohjola)....Pages 3-20
 Squeezing Streams and Composition of Self-stabilizing Algorithms  (Karine Altisen, Pierre Corbineau, Stéphane Devismes)....Pages 21-38
 Parametric Updates in Parametric Timed Automata  (Étienne André, Didier Lime, Mathias Ramparison)....Pages 39-56
 Parametric Statistical Model Checking of UAV Flight Plan  (Ran Bao, Christian Attiogbe, Benoît Delahaye, Paulin Fournier, Didier Lime)....Pages 57-74
 Only Connect, Securely  (Chandrika Bhardwaj, Sanjiva Prasad)....Pages 75-92
 Output-Sensitive Information Flow Analysis  (Cristian Ene, Laurent Mounier, Marie-Laure Potet)....Pages 93-110
 Component-aware Input-Output Conformance  (Alexander Graf-Brill, Holger Hermanns)....Pages 111-128
 Declarative Choreographies and Liveness  (Thomas T. Hildebrandt, Tijs Slaats, Hugo A. López, Søren Debois, Marco Carbone)....Pages 129-147
 Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes  (Jannik Hüls, Anne Remke)....Pages 148-166
 Causal-Consistent Replay Debugging for Message Passing Programs  (Ivan Lanese, Adrián Palacios, Germán Vidal)....Pages 167-184
 Correct and Efficient Antichain Algorithms for Refinement Checking  (Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse)....Pages 185-203
 Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification  (Diego Marmsoler)....Pages 204-223
 Unfolding-Based Dynamic Partial Order Reduction of Asynchronous Distributed Programs  (The Anh Pham, Thierry Jéron, Martin Quinson)....Pages 224-241
 Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework  (Jean-Bernard Stefani, Martin Vassor)....Pages 242-260
 Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems  (Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson)....Pages 261-277
Front Matter ....Pages 279-279
 On Certifying Distributed Algorithms: Problem of Local Correctness  (Kim Völlinger)....Pages 281-288
 On a Higher-Order Calculus of Computational Fields  (Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal)....Pages 289-292
 Semantically Sound Analysis of Content Security Policies  (Stefano Calzavara, Alvise Rabitti, Michele Bugliesi)....Pages 293-297
Back Matter ....Pages 299-299