The Art of Modelling Computational Systems

Description

​​This Festschrift was published in honor of Catuscia Palamidessi on the occasion of her 60thbirthday. It features 6 laudations, which are available in the front matter of the volume, and 25 papers by close collaborators and friends. The papers are organized in topical sections named: concurrency; logic and constraint programming; security and privacy; and models and puzzles. These contributions are a tribute to Catuscia Palamidessi’s intellectual depth, vision, passion for science, and tenacity in solving technical problems. They also reflect the breadth and impact of her work. Her scientific interests include, in chronological order, principles of programming languages, concurrency theory, security, and privacy. Front Matter ....Pages i-xxxiv Front Matter ....Pages 1-1 Variations of the Itai-Rodeh Algorithm for Computing Anonymous Ring Size (Wan Fokkink, Guus Samsom)....Pages 3-13 Axiomatizing Team Equivalence for Finite-State Machines (Roberto Gorrieri)....Pages 14-32 Asynchronous \(\pi \)-calculus at Work: The Call-by-Need Strategy (Davide Sangiorgi)....Pages 33-49 Deadlock Analysis of Wait-Notify Coordination (Cosimo Laneve, Luca Padovani)....Pages 50-67 Enhancing Reaction Systems: A Process Algebraic Approach (Linda Brodo, Roberto Bruni, Moreno Falaschi)....Pages 68-85 Checking the Expressivity of Firewall Languages (Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta)....Pages 86-100 Polymorphic Session Processes as Morphisms (Bernardo Toninho, Nobuko Yoshida)....Pages 101-117 Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies (Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro)....Pages 118-138 A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice (Rob J. van Glabbeek, Jan Friso Groote, Erik P. de Vink)....Pages 139-162 Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies (Flavio Corradini, Andrea Morichetta, Barbara Re, Francesco Tiezzi)....Pages 163-181 Stronger Validity Criteria for Encoding Synchrony (Rob van Glabbeek, Ursula Goltz, Christopher Lippert, Stephan Mennicke)....Pages 182-205 Confluence of the Chinese Monoid (Jörg Endrullis, Jan Willem Klop)....Pages 206-220 Front Matter ....Pages 221-221 A Coalgebraic Approach to Unification Semantics of Logic Programming (Roberto Bruni, Ugo Montanari, Giorgio Mossa)....Pages 223-240 Polyadic Soft Constraints (Filippo Bonchi, Laura Bussi, Fabio Gadducci, Francesco Santini)....Pages 241-257 Front Matter ....Pages 259-259 Core-concavity, Gain Functions and Axioms for Information Leakage (Arthur Américo, M. H. R. Khouzani, Pasquale Malacaria)....Pages 261-275 Formalisation of Probabilistic Testing Semantics in Coq (Yuxin Deng, Jean-Francois Monin)....Pages 276-292 Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics (Valentina Castiglioni, Ruggero Lanotte, Simone Tini)....Pages 293-312 Fooling the Parallel or Tester with Probability 8/27 (Jean Goubault-Larrecq)....Pages 313-328 Categorical Information Flow (Tahiry Rabehaja, Annabelle McIver, Carroll Morgan, Georg Struth)....Pages 329-343 Statistical Epistemic Logic (Yusuke Kawamoto)....Pages 344-362 Approximate Model Counting, Sparse XOR Constraints and Minimum Distance (Michele Boreale, Daniele Gorla)....Pages 363-378 Verification and Control of Turn-Based Probabilistic Real-Time Games (Marta Kwiatkowska, Gethin Norman, David Parker)....Pages 379-396 Refinement Metrics for Quantitative Information Flow (Konstantinos Chatzikokolakis, Geoffrey Smith)....Pages 397-416 Front Matter ....Pages 417-417 Toward a Formal Model for Group Polarization in Social Networks (Mário S. Alvim, Sophia Knight, Frank Valencia)....Pages 419-441 Make Puzzles Great Again (Nicolás Aristizabal, Carlos Pinzón, Camilo Rueda, Frank Valencia)....Pages 442-459 Back Matter ....Pages 461-461