Author:
Ancona Davide,Ferrando Angelo,Mascardi Viviana
Publisher
Springer International Publishing
Reference32 articles.
1. Ancona, D., Briola, D., Ferrando, A., Mascardi, V.: Global protocols as first class entities for self-adaptive agents. In: AAMAS, pp. 1019–1029. ACM (2015)
2. Ancona, D., Drossopoulou, S., Mascardi, V.: Automatic generation of self-monitoring MASs from multiparty global session types in Jason. In: Declarative Agent Languages and Technologies X - 10th International Workshop, DALT 2012, Valencia, Spain, 4 June 2012, Revised Selected Papers, pp. 76–95 (2012)
3. Ancona, D., Ferrando, A., Franceschini, L., Mascardi, V.: Parametric trace expressions for runtime verification of Java-like programs. In: FTfJP@ECOOP, pp. 10:1–10:6. ACM (2017)
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);D Ancona,2018
5. Lecture Notes in Computer Science;D Ancona,2016
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献