Author:
Boiten Eerke A.,Derrick John
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. America, P., Rutten, J.: Solving reflexive domain equations in a category of complete metric spaces. In: de Bakker, J.W., Rutten, J.J.M. (eds.) Ten Years of Concurrency Semantics: Selected Papers of the Amsterdam Concurrency Group, pp. 131–163. World Scientific, Singapore (1992)
2. Lecture Notes in Computer Science;R. Banach,2000
3. Lecture Notes in Computer Science;E.A. Boiten,2002
4. de Bakker, J.W., Meyer, J.-J.C.: Metric semantics for concurrency. In: de Bakker, J.W., Rutten, J.J.M. (eds.) Ten Years of Concurrency Semantics: Selected Papers of the Amsterdam Concurrency Group, pp. 104–130. World Scientific, Singapore (1992)
5. de Roever, W.-P., Engelhardt, K.: Data Refinement: Model-Oriented Proof Methods and their Comparison. CUP, Cambridge (1998)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Further Generalisations;Refinement in Z and Object-Z;2014