Author:
Boström Pontus,Waldén Marina
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
2. Abrial, J.R.: Event Driven Sequential Program Construction (2001), http://www.atelierb.societe.com/ressources/articles/seq.pdf (accessed 13.01.2005)
3. Abrial, J.R., Mussat, L.: Event B Reference Manual (2001), http://www.atelierb.societe.com/ressources/evt2b/eventb_reference_manual.pdf (accessed 13.01.2005)
4. Lecture Notes in Computer Science;N. Aguirre,2003
5. Back, R.J.R., Kurki-Suonio, R.: Decentralization of process nets with centralized control. In: Proceedings of the 2nd ACM SIGACT-SIGOPS Symposium of Principles of Distributed Computing, pp. 131–142 (1983)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Refinement of Parallel Algorithms;Chapman & Hall/CRC Computational Science;2008-12-22
2. Formal Service-Oriented Development of Fault Tolerant Communicating Systems;Rigorous Development of Complex Fault-Tolerant Systems;2006
3. Formal Model-Driven Development of Communicating Systems;Formal Methods and Software Engineering;2005