Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Barrett, G.: The fixed-point theory of unbounded nondeterminism. Formal Aspects of Computing 3, 110–128 (1991)
2. Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating sequential processes. Journal of the ACM 31(3), 560–599 (1984)
3. Lecture Notes in Computer Science;S.D. Brookes,1985
4. Broy, M.: A theory for nondeterminism, parallelism, communication and concurrency. Theoretical Computer Science 45, 1–61 (1986)
5. Formal Systems (Europe) Ltd., Failures-Divergence Refinement, User Manual, obtainable from,
http://www.fsel.com/fdr2_manual.html
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Translating between models of concurrency;Acta Informatica;2020-05-06
2. Reward Testing Equivalences for Processes;Models, Languages, and Tools for Concurrent and Distributed Programming;2019
3. Process Algebra and Model Checking;Handbook of Model Checking;2018
4. Models for CSP with availability information;Mathematical Structures in Computer Science;2014-11-21
5. On the limits of refinement-testing for model-checking CSP;Formal Aspects of Computing;2013-03