Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Conference
    Name: Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday 2017
    URL: https://doi.org/10.1007/978-3-319-51046-0
    DBLP: db/conf/birthday/roscoe2017.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 15  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Olga Chen, Catherine A. Meadows, Gautam Trivedi.
    Stealthy Protocols: Metrics and Open Problems.
    Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday 2017 (0) 2017
    Conference paper
    Rob J. van Glabbeek.
    A Branching Time Model of CSP.
    Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday 2017 (0) 2017
    Conference paper
    Simon Foster, Jim Woodcock.
    Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL.
    Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday 2017 (0) 2017
    Conference paper
    Carroll Morgan.
    A Demonic Lattice of Information.
    Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday 2017 (0) 2017
    Conference paper
    Henri Hansen.
    Abstractions for Transition Systems with Applications to Stubborn Sets.
    Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday 2017 (0) 2017
    Conference paper
    Joshua D. Guttman.
    Information Flow, Distributed Systems, and Refinement, by Example.
    Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday 2017 (0) 2017
    Conference paper
    Antti Valmari.
    More Stubborn Set Methods for Process Algebras.
    Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday 2017 (0) 2017
    Conference paper
    Jifeng He, Qin Li.
    A Hybrid Relational Modelling Language.
    Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday 2017 (0) 2017
    Conference paper
    Gavin Lowe.
    Analysing Lock-Free Linearizable Datatypes Using CSP.
    Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday 2017 (0) 2017
    Conference paper
    Ranko Lazic, Patrick Totzke.
    What Makes Petri Nets Harder to Verify: Stack or Data?
    Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday 2017 (0) 2017
    Show item 1 to 10 of 15  

    Your query returned 15 matches in the database.