Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Roscoe, A.W.: Model-checking CSP. In: A Classical Mind: essays in Honour of C.A.R. Hoare, ch. 21. Prentice-Hall (1994)
2. Lecture Notes in Computer Science;A.L.C. Cavalcanti,2006
3. Cavalcanti, A.L.C., Sampaio, A.C.A., Woodcock, J.C.P.: A Refinement Strategy for Circus. Formal Aspects of Computing 15(2-3), 146–181 (2003)
4. Feliachi, A., Gaudel, M.-C., Wolff, B.: Isabelle/Circus : A Process Specification and Verification Environment. Technical Report 1547, LRI, Université Paris-Sud XI (November 2011),
http://www.lri.fr/Rapports-internes
5. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall International (1985)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献