Author:
Derrick John,Wehrheim Heike
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference39 articles.
1. Boiten, E.A., Derrick, J.: IO-refinement in Z. In: Evans, A., Duke, D.J., Clark, T. (eds.) 3rd BCS-FACS Northern Formal Methods Workshop. Springer, Heidelberg (1998). http://www.ewic. org.uk/
2. Bolton, C.: On the refinement of state-based and event-based models. PhD Thesis, University of Oxford (2002)
3. Bolton, C.: Using the alloy analyzer to verify data refinement in Z. In: Refine 2005. Electronic Notes in Theoretical Computer Science (2005)
4. Bolton, C., Davies, J.: Refinement in object-Z and CSP. In: Butler, M., Petre, L., Sere, K. (eds.) Integrated Formal Methods (IFM 2002). Lecture Notes in Computer Science, vol. 2335, pp. 225–244. Springer, Heidelberg (2002)
5. Bolton, C., Davies, J.: A singleton failures semantics for communicating sequential processes. Form. Asp. Comput. (2006, to appear)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. State-Based Languages: Z and B;Refinement;2018
2. A Lattice-Based Representation of Temporal Failures;2015 IEEE International Conference on Information Reuse and Integration;2015-08
3. Identifying Hardware Failures Systematically;Lecture Notes in Computer Science;2012
4. Checking Z Data Refinements Using Traces Refinement;Electronic Notes in Theoretical Computer Science;2009-07
5. Compositional abstraction ofCSP
Z processes;Journal of the Brazilian Computer Society;2008-06