Reo Connectors as Coordination Artifacts in 2APL Systems
暂无分享,去创建一个
Farhad Arbab | Frank S. de Boer | Mehdi Dastani | John-Jules Ch. Meyer | Lacramioara Astefanoaei | Nick A. M. Tinnemeier | F. S. Boer | M. Dastani | J. Meyer | F. Arbab | L. Astefanoaei
[1] Christel Baier,et al. Modeling component connectors in Reo by constraint automata , 2004, Sci. Comput. Program..
[2] Mehdi Dastani,et al. 2APL: a practical agent programming language , 2008, Autonomous Agents and Multi-Agent Systems.
[3] Franco Zambonelli,et al. for Mobile Agents , 2000 .
[4] Richard E. Ladner,et al. Propositional Dynamic Logic of Regular Programs , 1979, J. Comput. Syst. Sci..
[5] Farhad Arbab,et al. Coordination and composition in multi-agent systems , 2005, AAMAS '05.
[6] Christel Baier,et al. Symbolic Model Checking for Channel-based Component Connectors , 2007, FOCLASA.
[7] Farhad Arbab,et al. Reo: A Channel-based Coordination Model for Component Composition , 2005 .
[8] Farhad Arbab,et al. MoCha-pi, an exogenous coordination calculus based on mobile channels , 2005, SAC '05.
[9] Peter Sewell,et al. Nomadic Pict: language and infrastructure design for mobile agents , 2000, IEEE Concurr..
[10] Christel Baier,et al. Models and temporal logics for timed component connectors , 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..