Author:
Cleaveland Rance,Du Xiaoqun,Smolka Scott A.
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. F. Arbab, J.W. de Bakker, M.M. Bonsangue, J.J.M.M. Rutten, A. Scutella, and G. Zavattaro. A transition system semantics for the control-driven coordination language Manifold. Theoretical Computer Science, 2000. To appear.
2. R. Allen and D. Garlan. A formal basis for architectural connection. ACM Trans. on Software Engineering and Methodology., 6(3):213–249, 1997.
3. F. Arbab, I. Herman, and P. Spilling. An overview of Manifold and its implementation. yConcurrency: Practice and Experience, 5(1):23–70, 1993.
4. M. Bernardo, P. Ciancarini, and L. Donatiello. Performance analysis of software architectures via a process algebraic description language. Technical Report UBLCS-99-20, University of Bologna, 1999.
5. N. Busi, R. Gorrieri, and G. Zavattaro. A process algebraic view of Linda coordination primitives. Theoretical Computer Science, 192(2):167–199, February 1998.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献