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 - Brossura

Brossura

ISBN 10: 3030311767 ISBN 13: 9783030311766

Casa editrice: Springer, 2019

Riassunto

Concurrency.- Variations of the Itai-Rodeh Algorithm for Computing Anonymous Ring Size.- Axiomatizing Team Equivalence for Finite-State Machines.- Asynchronous pi-calculus at work: the call-by-need strategy.- Deadlock Analysis of Wait-Notify Coordination.- Enhancing reaction systems: a process algebraic approach.- Checking the Expressivity of Firewall Languages.- Polymorphic Session Processes as Morphisms.- Guess Who's Coming: Runtime Inclusion of Participants in Choreographies.- A Complete Axiomatizion of Branching Bisimulation for a Simple Process Language with Probabilistic Choice.- Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies.- Stronger Validity Criteria for Encoding Synchrony.- Confluence of the Chinese Monoid.- Logic and Constraint Programming.- A coalgebraic approach to unification semantics of logic programming.- Polyadic Soft Constraints.- Security and Privacy.- Core-concavity, Gain Functions and Axioms for Information Leakage.- Formalisation of Probabilistic Testing Semantics in Coq.- Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics.- Fooling the Parallel Or Tester with Probability 8/27.- Categorical information flow.- Statistical Epistemic Logic.- Approximate model counting, sparse XOR constraints and minimum distance.- Verification and Control of Turn-Based Probabilistic Real-Time Games.- Refinement Metrics for Quantitative Information Flow.- Models and Puzzles.- Toward a Formal Model for Group Polarization in Social Networks.- Make Puzzles Great Again.

Dettagli dell?edizione

• Editore: Springer
• Data di pubblicazione: 2019
• Lingua: Inglese
• ISBN 10: 3030311767
• ISBN 13: 9783030311766
• Rilegatura: Paperback
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile