Author:
Gibson-Robinson Thomas,Armstrong Philip,Boulgakov Alexandre,Roscoe A. W.
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference35 articles.
1. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Inc., Upper Saddle River (1985)
2. Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice Hall, New Jersey (1997)
3. Roscoe, A.W.: Understanding Concurrent Systems. Springer, New York (2010)
4. Formal Systems (Europe) Ltd.: Failures-Divergence Refinement–FDR 2 User Manual, (2011)
5. Goldsmith, M.: Operational Semantics for Fun and Profit. In: Communicating Sequential Processes. The First 25 Years, vol. 3525 of LNCS (2005)
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. I Kaptured the System;Lecture Notes in Computer Science;2024
2. Automated Compositional Verification for Robotic State Machines using Isabelle/HOL;2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS);2023-06-14
3. Qualification of proof assistants, checkers, and generators: Where are we and what next?;Science of Computer Programming;2023-03
4. UTP, Circus, and Isabelle;Theories of Programming and Formal Methods;2023
5. Parameterized verification of systems with component identities, using view abstraction;International Journal on Software Tools for Technology Transfer;2022-02-26