这项研究得到了欧洲研究理事会通过高级拨款 PIX (834141) 和 WhiteMech (834228) 的支持。作者地址:M. Dumas 和 R. Accorsi,塔尔图大学,爱沙尼亚塔尔图;电子邮件:{marlon.dumas, rafael.accorsi}@ut.ee;F. Fournier 和 L. Limonad,IBM Research - Haifa,以色列海法;电子邮件:{fabiana, liorli}@il.ibm.com;A. Marrella 和 G. De Giacomo,罗马大学,意大利罗马;电子邮件:{marrella, degiacomo}@diag.uniroma1.it;M. Montali 和 D. Calvanese,博尔扎诺自由大学,意大利博尔扎诺;电子邮件:{montali, calvanese}@inf.unibz.it;J.-R. Rehse,曼海姆大学,德国曼海姆;电子邮件:rehse@uni-mannheim.de;D. Fahland,埃因霍温理工大学,荷兰埃因霍温;电子邮件:d.fahland@tue.nl;A. Gal,以色列海法理工学院;电子邮件:avigal@ie.technion.ac.il;M. La Rosa,墨尔本大学,澳大利亚墨尔本;电子邮件:marcello.larosa@ unimelb.edu.au;H. Völzer,IBM Research - Zurich,瑞士苏黎世;电子邮件:hvo@zurich.ibm.com;I. Weber,柏林工业大学,德国柏林;电子邮件:ingo.weber@tu-berlin.de。允许免费复制或复印本作品的部分或全部用于个人或课堂用途,但不得出于营利或商业目的而复制或分发,且副本首页必须注明此声明和完整引文。必须尊重本作品第三方组件的版权。对于所有其他用途,请联系所有者/作者。© 2023 版权归所有者/作者所有。
主要关键词