Compositional Correctness in Multiagent Interactions
暂无分享,去创建一个
[1] Munindar P. Singh. Bliss: Specifying Declarative Service Protocols , 2014, 2014 IEEE International Conference on Services Computing.
[2] Mehdi Dastani,et al. Programming norm-aware agents , 2012, AAMAS.
[3] Michael Winikoff,et al. A new Hierarchical Agent Protocol Notation , 2018, Autonomous Agents and Multi-Agent Systems.
[4] Angelo Ferrando,et al. Global Protocols as First Class Entities for Self-Adaptive Agents , 2015, AAMAS.
[5] Maurice Herlihy,et al. Linearizability: a correctness condition for concurrent objects , 1990, TOPL.
[6] Alberto RibesAbstract,et al. Multi agent systems , 2019, Proceedings of the 2005 International Conference on Active Media Technology, 2005. (AMT 2005)..
[7] Munindar P. Singh. Semantics and verification of information-based protocols , 2012, AAMAS.
[8] Munindar P. Singh. Information-driven interaction-oriented programming: BSPL, the blindingly simple protocol language , 2011, AAMAS.
[9] Munindar P. Singh,et al. Flexible protocol specification and execution: applying event calculus planning using commitments , 2002, AAMAS '02.
[10] Farhad Arbab,et al. Puff, The Magic Protocol , 2011, Formal Modeling: Actors, Open Systems, Biological Systems.
[11] Munindar P. Singh. Toward Interaction-Oriented Programming , 1996 .
[12] Tim Miller,et al. Amongst First-Class Protocols , 2008, ESAW.
[13] Munindar P. Singh. LoST: Local State Transfer -- An Architectural Style for the Distributed Enactment of Business Protocols , 2011, 2011 IEEE International Conference on Web Services.
[14] Olivier Boissier,et al. Multi-agent oriented programming with JaCaMo , 2013, Sci. Comput. Program..
[15] Jennifer Widom,et al. Database systems - the complete book (2. ed.) , 2009 .
[16] Sjouke Mauw,et al. Message Sequence Chart (MSC) , 1996 .
[17] Munindar P. Singh,et al. Custard: Computing Norm States over Information Stores , 2016, AAMAS.
[18] Munindar P. Singh. Distributed enactment of multiagent workflows: temporal logic for web service composition , 2003, AAMAS '03.
[19] Cristina Baroglio,et al. Engineering commitment-based business protocols with the 2CL methodology , 2014, Autonomous Agents and Multi-Agent Systems.
[20] LamportLeslie. Time, clocks, and the ordering of events in a distributed system , 1978 .
[21] Nancy A. Lynch,et al. Multilevel atomicity—a new correctness criterion for database concurrency control , 1983, TODS.
[22] Bowen Alpern,et al. Defining Liveness , 1984, Inf. Process. Lett..
[23] Michael Winikoff,et al. Implementing commitment-based interactions , 2007, AAMAS '07.
[24] Peter McBurney,et al. PROPOSITIONAL DYNAMIC LOGIC FOR REASONING ABOUT FIRST‐CLASS AGENT INTERACTION PROTOCOLS , 2011, Comput. Intell..
[25] Nobuko Yoshida,et al. Multiparty asynchronous session types , 2008, POPL '08.
[26] Munindar P. Singh,et al. Tosca: Operationalizing Commitments Over Information Protocols , 2017, IJCAI.
[27] Munindar P. Singh,et al. Splee: A Declarative Information-Based Language for Multiagent Interaction Protocols , 2017, AAMAS.
[28] Munindar P. Singh,et al. Cupid: Commitments in Relational Algebra , 2015, AAAI.
[29] Leslie Lamport,et al. Time, clocks, and the ordering of events in a distributed system , 1978, CACM.
[30] Franco Zambonelli,et al. Coordination for Internet Application Development , 1999, Autonomous Agents and Multi-Agent Systems.
[31] Munindar P. Singh,et al. Verifying Compliance with Commitment Protocols Enabling Open Web-Based Multiagent Systems , 1999 .
[32] Marco Colombetti,et al. Defining interaction protocols using a commitment-based agent communication language , 2003, AAMAS '03.
[33] H. Van Dyke Parunak,et al. Representing Agent Interaction Protocols in UML , 2000, AOSE.