Author:
Derrick John,Wehrheim Heike
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. J.-R. Abrial. The B-Book: Assigning Programs to Meanings. CUP, 1996.
2. L. Aceto. Action Refinement in Process Algebras. CUP, London, 1992.
3. L. Aceto and M. Hennessy. Towards action-refinement in process algebras. Information and Computation, 103:204–269, 1993.
4. E. A. Boiten and J. Derrick. IO-refinement in Z. In A. Evans, D. J. Duke, and T. Clark, editors, 3rd BCS-FACS Northern Formal Methods Workshop. Springer-Verlag, September 1998.
http://www.ewic.org.uk/
.
5. W.-P. de Roever and K. Engelhardt. Data Refinement: Model-Oriented Proof Methods and their Comparison. CUP, 1998.
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Coupled similarity: the first 32 years;Acta Informatica;2019-11-28
2. Computing Coupled Similarity;Tools and Algorithms for the Construction and Analysis of Systems;2019
3. State-Based Languages: Z and B;Refinement;2018
4. Conclusions;Refinement;2018
5. Verifying Linearisability;ACM Computing Surveys;2015-11-21