Search results for: A. W. Roscoe
Formal Aspects of Computing > 2019 > 31 > 3 > 375-409
Lecture Notes in Computer Science > Communicating Sequential Processes. The First 25 Years > Semantic Foundations > 15-35
Formal Aspects of Computing > 2016 > 28 > 6 > 937-1004
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 133-152
Lecture Notes in Computer Science > Computer Security - ESORICS 2000 > Protocol Verification > 175-190
Lecture Notes in Computer Science > Mathematical Foundations of Programming Language Semantics > 331-343
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Invited Talks > 22-38
Lecture Notes in Computer Science > Petri Nets and Other Models of Concurrency – ICATPN 2007 > Full Papers > 301-320
Lecture Notes in Computer Science > Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices > Embedded Systems > 308-315
Lecture Notes in Computer Science > CONCUR 2011 – Concurrency Theory > Process Algebra and Modeling > 389-403
Lecture Notes in Computer Science > Communicating Sequential Processes. The First 25 Years > Automated Development and Model Checking > 275-291