643 followers
#arXiv #cs_LO "A Branching Time Model of CSP. (arXiv:1702.07844v1 [cs.LO])" https://t.co/8H1nNggBJe
Concurrency, Security, and Puzzles
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Stealthy Protocols: Metrics and Open Problems
-
Altmetric BadgeChapter 2 A Specification Theory of Real-Time Processes
-
Altmetric BadgeChapter 3 Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL
-
Altmetric BadgeChapter 4 FDR: From Theory to Industrial Application
-
Altmetric BadgeChapter 5 Information Flow, Distributed Systems, and Refinement, by Example
-
Altmetric BadgeChapter 6 Abstractions for Transition Systems with Applications to Stubborn Sets
-
Altmetric BadgeChapter 7 A Hybrid Relational Modelling Language
-
Altmetric BadgeChapter 8 Concurrency, Security, and Puzzles
-
Altmetric BadgeChapter 9 Analysing Lock-Free Linearizable Datatypes Using CSP
-
Altmetric BadgeChapter 10 Discrete Random Variables Over Domains, Revisited
-
Altmetric BadgeChapter 11 A Demonic Lattice of Information
-
Altmetric BadgeChapter 12 A Brief History of Security Protocols
-
Altmetric BadgeChapter 13 More Stubborn Set Methods for Process Algebras
-
Altmetric BadgeChapter 14 A Branching Time Model of CSP
-
Altmetric BadgeChapter 15 Virtualization Based Development