Author:
Morgan Carroll,Hoang Thai Son,Abrial Jean-Raymond
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Abrial, J.-R.: The B Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
2. Lecture Notes in Computer Science,2003
3. Butler, M.J.: A CSP approach to action systems. DPhil thesis, Computing Lab., Oxford University (1992)
4. Butler, M.J., Morgan, C.C.: Action systems, unbounded nondeterminism and infinite traces. Formal Aspects of Computing 7(1), 37–53 (1995)
5. Lecture Notes in Computer Science;W. Chen,1989
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献