Login / Signup
The Art of Modelling Computational Systems
2019
2019
2019
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)