Author:
Montangero Carlo,Semini Laura
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Lect Notes Comput Sci;M. Abadi,1989
2. R.J.R. Back and J. von Wright. Refinement Calculus. A Systematic Introduction. Graduate texts in computer science. Springer-Verlag, 1989.
3. M.M. Bonsangue, J.N. Kok, M. Boasson, and E. de Jong. A software architecture for distributed control systems and its transition system semantics. In Proc. ACM Symp. on Applied Computing SAC’98, pages 159–168, Atlanta, 1998. ACM press.
4. Lect Notes Comput Sci;K. Bosschere De,1996
5. A. Brogi and J.-M. Jacquet. Modelling Coordination via Asynchronous Communication. In D. Garlan and D. LeMetayer, editors, Proc 2nd Int. Conf. on Coordination Models and Languages, volume 1282 of Lecutre Notes in Computer Science, pages 238–255, Berlin, Germany, September 1997. Springer-Verlag, Berlin.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献