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 /: a journey from logic and concurrency to security and privacy : Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. ([2019])

• Record Type: Book
• Further Information: Note: Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia (eds.).
• Other Names: Alvim, Mário S; Chatzikokolakis, Kostas; Olarte, Carlos; Valencia, Frank
• Contents: 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.
• Publisher Details: Cham : Springer
• Publication Date: 2019
• Extent: 1 online resource
• Subjects: 005.13; Programming languages (Electronic computers); Computer security; Computer security; Programming languages (Electronic computers); Electronic books
• Languages: English
• ISBNs: 9783030311759; 3030311759
• Related ISBNs: 9783030311742
• Notes: Note: Description based on online resource; title from digital title page (viewed on December 06, 2019).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.