Author:
Andrade Luis F.,Fiadeiro Jose L.,Gouveia Joao,Koutsoukos Georgios,Wermelinger Michael
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. R. Allen and D. Garlan, “A Formal Basis for Architectural Connectors”, ACM TOSEM, 6(3), 1997, 213–249.
2. Lect Notes Comput Sci;L.F. Andrade,1999
3. Lect Notes Comput Sci;L.F. Andrade,2001
4. G. Booch, J. Rumbaugh and I. Jacobson, The Unified Modeling Language User Guide, Addison-Wesley 1998.
5. J.L. Fiadeiro and A. Lopes, “Algebraic Semantics of Coordination, or what is in a signature?”, in AMAST’98, A. Haeberer (ed), Springer-Verlag 1999.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A framework for specifying and verifying the behaviour of open systems;The Journal of Logic and Algebraic Programming;2005-05
2. Symbolic Equivalences for Open Systems;Global Computing;2005
3. Graph-Based Models of Internetworking Systems;Formal Methods at the Crossroads. From Panacea to Foundational Support;2003
4. Bisimulation by Unification*;Algebraic Methodology and Software Technology;2002