Publisher
Springer Science and Business Media LLC
Reference71 articles.
1. Agha, G. (1986). Actors: A model of concurrent computation in distributed systems. Cambridge, MA: MIT Press.
2. Aldrich, J., Sunshine, J., Saini, D., & Sparks, Z. (2009). Typestate-oriented programming. In S. Arora, & G. T. Leavens (Eds.) Companion to the 24th annual ACM SIGPLAN conference on object-oriented programming, systems, languages, and applications, OOPSLA 2009, October 25–29, 2009, Orlando, Florida, USA (pp. 1015–1022). ACM.
3. Ancona, D., Briola, D., El Fallah-Seghrouchni, A., Mascardi, V., & Taillibert, P. (2014). Efficient verification of MASs with projections. In F. Dalpiaz, J. Dix, & M. B. van Riemsdijk, (Eds.) Engineering multi-agent systems—Second International Workshop, EMAS 2014, Paris, France, May 5–6, 2014, Revised Selected Papers, vol. 8758 of Lecture Notes in Computer Science (pp. 246–270). Springer.
4. Ancona, D., Briola, D., Ferrando, A., & Mascardi, V. (2015) Global protocols as first class entities for self-adaptive agents. In G. Weiss, P. Yolum, R. H. Bordini, & E. Elkind (Eds.) Proceedings of the 2015 international conference on autonomous agents and multiagent systems, AAMAS 2015, Istanbul, Turkey, May 4–8, 2015 (pp. 1019–1029). ACM.
5. Ancona, D., Drossopoulou, S., & Mascardi., V. (2013). Automatic generation of self-monitoring mass from multiparty global session types in jason. In M. Baldoni, L. Dennis, V. Mascardi, & W. Vasconcelos (Eds.), Declarative agent languages and technologies X vol. 7784 of Lecture Notes in Computer Science (pp. 76–95). Berlin, Heidelberg: Springer.
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献