Author:
Bonsangue Marcello M.,Kok Joost N.,Zavattaro Gianluigi
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Lect Notes Comput Sci;J.-M. Andreoli,1993
2. J.-M. Andreoli and R. Pareschi. Linear objects: Logical processes with built-in inheritance. New Generation Computing, 9(3+4):445–473, 1991.
3. F. Arbab, J.W. de Bakker, M.M. Bonsangue, J.J.M.M. Rutten, A. Scutellá, and G. Zavattaro. A transition system semantics for the control-driven coordination language MANIFOLD. To appear in Theoretical Computer Science, 1999.
4. F. Arbab, I. Herman, and P. Spilling. An overview of Manifold and its implementation. Concurrency: Practice and Experience, 5(1):23–70, 1993.
5. M. Boasson. Control systems software. In IEEE Transactions on Automatic Control 38:7, pages 1094–1107, 1993.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Coordinating Computation with Communication;Lecture Notes in Computer Science;2006
2. On the Verification of Coordination;Coordination Languages and Models;2000