default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID60. Birthday: A. W. Roscoe 2017
- Thomas Gibson-Robinson
, Philippa J. Hopcroft, Ranko Lazic:
Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 10160, Springer 2017, ISBN 978-3-319-51045-3 - Olga Chen, Catherine Meadows, Gautam Trivedi:
Stealthy Protocols: Metrics and Open Problems. 1-17 - Chris Chilton, Marta Z. Kwiatkowska, Faron Moller, Xu Wang:
A Specification Theory of Real-Time Processes. 18-38 - Simon Foster, Jim Woodcock:
Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL. 39-64 - 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. 65-87 - Joshua D. Guttman:
Information Flow, Distributed Systems, and Refinement, by Example. 88-103 - Henri Hansen:
Abstractions for Transition Systems with Applications to Stubborn Sets. 104-123 - Jifeng He, Qin Li:
A Hybrid Relational Modelling Language. 124-143 - Ranko Lazic, Patrick Totzke:
What Makes Petri Nets Harder to Verify: Stack or Data? 144-161 - Gavin Lowe:
Analysing Lock-Free Linearizable Datatypes Using CSP. 162-184 - Michael W. Mislove:
Discrete Random Variables Over Domains, Revisited. 185-202 - Carroll Morgan:
A Demonic Lattice of Information. 203-222 - Peter Y. A. Ryan:
A Brief History of Security Protocols. 223-245 - Antti Valmari:
More Stubborn Set Methods for Process Algebras. 246-271 - Rob J. van Glabbeek:
A Branching Time Model of CSP. 272-293 - Jay Yantchev, Atanas N. Parashkevov:
Virtualization Based Development. 294-318
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-28 22:11 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
