Author:
Dunne Steve,Conroy Stacey
Publisher
Springer Berlin Heidelberg
Reference41 articles.
1. Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
2. Abrial, J.-R.: Extending B without changing it (for developing distributed systems). In: Habrias, H. (ed.) Proceedings of the First B Conference, IRIN, Nantes, pp. 169–190 (1996)
3. Lecture Notes in Computer Science;J.-R. Abrial,1998
4. Back, R.J.R., Kurki-Suonio, R.: Decentralisation of process nets with centralised control. In: 2nd ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, pp. 131–142 (1983)
5. Electronic Notes in Theoretical Computer Science;C. Bolton,2002
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Trace Refinement in B and Event-B;Formal Methods and Software Engineering;2022
2. Data refinement and singleton failures refinement are not equivalent;Formal Aspects of Computing;2008-05
3. ProB: an automated analysis toolset for the B method;International Journal on Software Tools for Technology Transfer;2008-01-08
4. Automatic Refinement Checking for B;Formal Methods and Software Engineering;2005