Author:
Zeyda Frank,Cavalcanti Ana
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Lecture Notes in Computer Science;M. Adams,2005
2. Camilleri, A.: A Higher Order Logic Mechanisation of the CSP Failure-Divergence Semantics. Technical Report HPL-90-194, HP Laboratories (September 1990)
3. Camilleri, A.: Mechanizing csp trace theory in higher order logic. IEEE Transactions on Software Engeneering 16(9), 993–1004 (1990)
4. Cavalcanti, A., Sampaio, A., Woodcock, J.: A Refinement Strategy for Circus. Formal Aspects of Computing 15(2-3), 146–181 (2003)
5. Lecture Notes in Computer Science;B. Dutertre,1997
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Hoare and He’s Unifying Theories of Programming;Theories of Programming;2021-10-02
2. UTP by Example: Designs;Engineering Trustworthy Software Systems;2017
3. Heterogeneous Semantics and Unifying Theories;Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques;2016
4. Refinement-based verification of implementations of Stateflow charts;Formal Aspects of Computing;2014-03
5. The Logic of U ·(TP)2;Unifying Theories of Programming;2013