Home > Research > Publications & Outputs > Supple

Electronic data

  • supple-ag-v58

    Rights statement: International Foundation for Autonomous Agents and Multiagent Systems Richland, SC ©2019

    Accepted author manuscript, 732 KB, PDF document

    Available under license: CC BY-NC: Creative Commons Attribution-NonCommercial 4.0 International License

Links

View graph of relations

Supple: Multiagent Communication Protocols with Causal Types

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

Published

Standard

Supple : Multiagent Communication Protocols with Causal Types. / Günay, Akin; Chopra, Amit K.; Singh, Munindar P.

AAMAS '19 Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems. Richland, SC : IFAAMAS, 2019. p. 781-789.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

Harvard

Günay, A, Chopra, AK & Singh, MP 2019, Supple: Multiagent Communication Protocols with Causal Types. in AAMAS '19 Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems. IFAAMAS, Richland, SC, pp. 781-789.

APA

Günay, A., Chopra, A. K., & Singh, M. P. (2019). Supple: Multiagent Communication Protocols with Causal Types. In AAMAS '19 Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems (pp. 781-789). IFAAMAS.

Vancouver

Günay A, Chopra AK, Singh MP. Supple: Multiagent Communication Protocols with Causal Types. In AAMAS '19 Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems. Richland, SC: IFAAMAS. 2019. p. 781-789

Author

Günay, Akin ; Chopra, Amit K. ; Singh, Munindar P. / Supple : Multiagent Communication Protocols with Causal Types. AAMAS '19 Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems. Richland, SC : IFAAMAS, 2019. pp. 781-789

Bibtex

@inproceedings{273bc33c237144b3b8c16019b3c1b605,
title = "Supple: Multiagent Communication Protocols with Causal Types",
abstract = "A (communication) protocol captures how agents collaborate by specifying the messages they exchange. In particular, since the information content of messages characterizes the interactions a protocol specifies, message types can improve collaboration by strengthening the specification of what each agent may legitimately expect from another agent. In addition, in implementations, typing information can enable improved verification of agents. We introduce Supple, a protocol specification language that expresses message schemas with typed parameters. Supple enables definition of causal types for parameters that constrain how other parameters are computed in a protocol enactment. We give the formal semantics of Supple; characterize the liveness and safety of Supple specifications; and provide decision procedures for them.",
author = "Akin G{\"u}nay and Chopra, {Amit K.} and Singh, {Munindar P.}",
note = "International Foundation for Autonomous Agents and Multiagent Systems Richland, SC {\textcopyright}2019 ",
year = "2019",
month = may
day = "13",
language = "English",
isbn = "9781450363099",
pages = "781--789",
booktitle = "AAMAS '19 Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems",
publisher = "IFAAMAS",

}

RIS

TY - GEN

T1 - Supple

T2 - Multiagent Communication Protocols with Causal Types

AU - Günay, Akin

AU - Chopra, Amit K.

AU - Singh, Munindar P.

N1 - International Foundation for Autonomous Agents and Multiagent Systems Richland, SC ©2019

PY - 2019/5/13

Y1 - 2019/5/13

N2 - A (communication) protocol captures how agents collaborate by specifying the messages they exchange. In particular, since the information content of messages characterizes the interactions a protocol specifies, message types can improve collaboration by strengthening the specification of what each agent may legitimately expect from another agent. In addition, in implementations, typing information can enable improved verification of agents. We introduce Supple, a protocol specification language that expresses message schemas with typed parameters. Supple enables definition of causal types for parameters that constrain how other parameters are computed in a protocol enactment. We give the formal semantics of Supple; characterize the liveness and safety of Supple specifications; and provide decision procedures for them.

AB - A (communication) protocol captures how agents collaborate by specifying the messages they exchange. In particular, since the information content of messages characterizes the interactions a protocol specifies, message types can improve collaboration by strengthening the specification of what each agent may legitimately expect from another agent. In addition, in implementations, typing information can enable improved verification of agents. We introduce Supple, a protocol specification language that expresses message schemas with typed parameters. Supple enables definition of causal types for parameters that constrain how other parameters are computed in a protocol enactment. We give the formal semantics of Supple; characterize the liveness and safety of Supple specifications; and provide decision procedures for them.

M3 - Conference contribution/Paper

SN - 9781450363099

SP - 781

EP - 789

BT - AAMAS '19 Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems

PB - IFAAMAS

CY - Richland, SC

ER -