The Art of Modelling Computational Systems

Keyphrases

Publications

2019

Arthur Américo, M. H. R. Khouzani, Pasquale Malacaria
Core-concavity, Gain Functions and Axioms for Information Leakage. The Art of Modelling Computational Systems (2019)
Jörg Endrullis, Jan Willem Klop
Confluence of the Chinese Monoid. The Art of Modelling Computational Systems (2019)
Davide Sangiorgi
Asynchronous \pi -calculus at Work: The Call-by-Need Strategy. The Art of Modelling Computational Systems (2019)
Filippo Bonchi, Laura Bussi, Fabio Gadducci, Francesco Santini
Polyadic Soft Constraints. The Art of Modelling Computational Systems (2019)
Bernardo Toninho, Nobuko Yoshida
Polymorphic Session Processes as Morphisms. The Art of Modelling Computational Systems (2019)
Yuxin Deng, Jean-François Monin
Formalisation of Probabilistic Testing Semantics in Coq. The Art of Modelling Computational Systems (2019)
Roberto Bruni, Ugo Montanari, Giorgio Mossa
A Coalgebraic Approach to Unification Semantics of Logic Programming. The Art of Modelling Computational Systems (2019)
Linda Brodo, Roberto Bruni, Moreno Falaschi
Enhancing Reaction Systems: A Process Algebraic Approach. The Art of Modelling Computational Systems (2019)
Valentina Castiglioni, Ruggero Lanotte, Simone Tini
Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics. The Art of Modelling Computational Systems (2019)
Jean Goubault-Larrecq
Fooling the Parallel or Tester with Probability 8/27. The Art of Modelling Computational Systems (2019)
Roberto Gorrieri
Axiomatizing Team Equivalence for Finite-State Machines. The Art of Modelling Computational Systems (2019)
Rob van Glabbeek, Ursula Goltz, Christopher Lippert, Stephan Mennicke
Stronger Validity Criteria for Encoding Synchrony. The Art of Modelling Computational Systems (2019)
Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro
Guess Who's Coming: Runtime Inclusion of Participants in Choreographies. The Art of Modelling Computational Systems (2019)
Wan J. Fokkink, Guus Samsom
Variations of the Itai-Rodeh Algorithm for Computing Anonymous Ring Size. The Art of Modelling Computational Systems (2019)
Yusuke Kawamoto
Statistical Epistemic Logic. The Art of Modelling Computational Systems (2019)
Nicolás Aristizabal, Carlos Pinzón, Camilo Rueda, Frank Valencia
Make Puzzles Great Again. The Art of Modelling Computational Systems (2019)
Marta Kwiatkowska, Gethin Norman, David Parker
Verification and Control of Turn-Based Probabilistic Real-Time Games. The Art of Modelling Computational Systems (2019)
Rob J. van Glabbeek, Jan Friso Groote, Erik P. de Vink
A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice - (Extended Abstract). The Art of Modelling Computational Systems (2019)
Mário S. Alvim, Sophia Knight, Frank Valencia
Toward a Formal Model for Group Polarization in Social Networks. The Art of Modelling Computational Systems (2019)
Konstantinos Chatzikokolakis, Geoffrey Smith
Refinement Metrics for Quantitative Information Flow. The Art of Modelling Computational Systems (2019)
Flavio Corradini, Andrea Morichetta, Barbara Re, Francesco Tiezzi
Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies. The Art of Modelling Computational Systems (2019)
Tahiry M. Rabehaja, Annabelle McIver, Carroll Morgan, Georg Struth
Categorical Information Flow. The Art of Modelling Computational Systems (2019)
Michele Boreale, Daniele Gorla
Approximate Model Counting, Sparse XOR Constraints and Minimum Distance. The Art of Modelling Computational Systems (2019)
Cosimo Laneve, Luca Padovani
Deadlock Analysis of Wait-Notify Coordination. The Art of Modelling Computational Systems (2019)
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta
Checking the Expressivity of Firewall Languages. The Art of Modelling Computational Systems (2019)

volume 11760, 2019

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday The Art of Modelling Computational Systems 11760 (2019)