β Scribed by MΓ‘rio S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia
No coin nor oath required. For personal study only.
ββ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.
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
π SIMILAR VOLUMES
<p><P>This volume, Computational Models of the Auditory System, has as a systems approach where the focus is on studies which contribute to the big picture of hearing. In effect, the work covered in this volume, and the volume itself, builds a global model of audition. The chapters, rather than focu
<p>The papers in this volume present rules for mechanical models in a general systematic way, always in combination with small and large examples, many from industry, illustrating the most important features of modeling. The best way to reach a good solution is discussed. The papers address research
<p><p></p><p>This book provides an in-depth, numerical investigation of tensegrity systems from a structural point of view, using the laws of fundamental mechanics for general pin-jointed systems with self-stressed mechanisms. Tensegrity structures have been known for decades, mostly as an art of fo
<span>COGNITIVE COMPUTING MODELS IN COMMUNICATION SYSTEMS</span><p><span>A concise book on the latest research focusing on problems and challenges in the areas of data transmission technology, computer algorithms, AI-based devices, computer technology, and their solutions.</span></p><p><span>The boo