Concurrency, Security, and Puzzles

Keyphrases

Publications

2017

Carroll Morgan
A Demonic Lattice of Information. Concurrency, Security, and Puzzles (2017)
Ranko Lazic, Patrick Totzke
What Makes Petri Nets Harder to Verify: Stack or Data? Concurrency, Security, and Puzzles (2017)
Michael W. Mislove
Discrete Random Variables Over Domains, Revisited. Concurrency, Security, and Puzzles (2017)
Peter Y. A. Ryan
A Brief History of Security Protocols. Concurrency, Security, and Puzzles (2017)
Antti Valmari
More Stubborn Set Methods for Process Algebras. Concurrency, Security, and Puzzles (2017)
Jay Yantchev, Atanas N. Parashkevov
Virtualization Based Development. Concurrency, Security, and Puzzles (2017)
Henri Hansen
Abstractions for Transition Systems with Applications to Stubborn Sets. Concurrency, Security, and Puzzles (2017)
Joshua D. Guttman
Information Flow, Distributed Systems, and Refinement, by Example. Concurrency, Security, and Puzzles (2017)
Gavin Lowe
Analysing Lock-Free Linearizable Datatypes Using CSP. Concurrency, Security, and Puzzles (2017)
Chris Chilton, Marta Z. Kwiatkowska, Faron Moller, Xu Wang
A Specification Theory of Real-Time Processes. Concurrency, Security, and Puzzles (2017)
Jifeng He, Qin Li
A Hybrid Relational Modelling Language. Concurrency, Security, and Puzzles (2017)
Olga Chen, Catherine A. Meadows, Gautam Trivedi
Stealthy Protocols: Metrics and Open Problems. Concurrency, Security, and Puzzles (2017)
Thomas Gibson-Robinson, Guy H. Broadfoot, Gustavo Carvalho, Philippa J. Hopcroft, Gavin Lowe, Sidney C. Nogueira, Colin O'Halloran, Augusto Sampaio
FDR: From Theory to Industrial Application. Concurrency, Security, and Puzzles (2017)
Rob J. van Glabbeek
A Branching Time Model of CSP. Concurrency, Security, and Puzzles (2017)
Simon Foster, Jim Woodcock
Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL. Concurrency, Security, and Puzzles (2017)

volume 10160, 2017

Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday Concurrency, Security, and Puzzles 10160 (2017)