{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T15:48:24Z","timestamp":1772552904202,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,7,21]],"date-time":"2021-07-21T00:00:00Z","timestamp":1626825600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Engineering and Physical Sciences Research Council","award":["GrantEP\/N027965\/1"],"award-info":[{"award-number":["GrantEP\/N027965\/1"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,7,21]]},"DOI":"10.1145\/3465084.3467486","type":"proceedings-article","created":{"date-parts":[[2021,7,23]],"date-time":"2021-07-23T21:09:28Z","timestamp":1627074568000},"page":"575-576","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Interaction-Oriented Programming"],"prefix":"10.1145","author":[{"given":"Amit K.","family":"Chopra","sequence":"first","affiliation":[{"name":"Lancaster University, Lancaster, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samuel H.","family":"Christie V","sequence":"additional","affiliation":[{"name":"Lancaster University, Lancaster, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Munindar P.","family":"Singh","sequence":"additional","affiliation":[{"name":"North Carolina State University, Raleigh, NC, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,7,23]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of the 14th ACM Symposium on Operating System Principles","author":"David","unstructured":"David R. Cheriton and Dale Skeen. 1993. Understanding the Limitations of Causally and Totally Ordered Communication . In Proceedings of the 14th ACM Symposium on Operating System Principles ( Asheville, NC). 44--57. David R. Cheriton and Dale Skeen. 1993. Understanding the Limitations of Causally and Totally Ordered Communication. In Proceedings of the 14th ACM Symposium on Operating System Principles (Asheville, NC). 44--57."},{"key":"e_1_3_2_1_2_1","article-title":"An Evaluation of Communication Protocol Languages for Engineering Multiagent Systems","volume":"69","author":"Chopra Amit K.","year":"2020","unstructured":"Amit K. Chopra , Samuel H. ChristienUmErAL V, and Munindar P. Singh . 2020 . An Evaluation of Communication Protocol Languages for Engineering Multiagent Systems . Journal of Artificial Intelligence Research (JAIR) , Vol. 69 ( Dec. 2020), 1351--1393. %% %% %% https:\/\/doi.org\/10.1613\/jair.1.12212%% Amit K. Chopra, Samuel H. ChristienUmErAL V, and Munindar P. Singh. 2020. An Evaluation of Communication Protocol Languages for Engineering Multiagent Systems. Journal of Artificial Intelligence Research (JAIR) , Vol. 69 (Dec. 2020), 1351--1393. %% %% %% https:\/\/doi.org\/10.1613\/jair.1.12212%%","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings of the Eighth International Conference on Autonomous Agents and Multiagent Systems. IFAAMAS, 937--944","author":"Amit","unstructured":"Amit K. Chopra and Munindar P. Singh. 2009. Multiagent commitment alignment . In Proceedings of the Eighth International Conference on Autonomous Agents and Multiagent Systems. IFAAMAS, 937--944 . Amit K. Chopra and Munindar P. Singh. 2009. Multiagent commitment alignment. In Proceedings of the Eighth International Conference on Autonomous Agents and Multiagent Systems. IFAAMAS, 937--944."},{"key":"e_1_3_2_1_4_1","volume-title":"Proc. 29th AAAI Conference on Artificial Intelligence. 2052--2059","author":"Amit","unstructured":"Amit K. Chopra and Munindar P. Singh. 2015. Cupid: Commitments in Relational Algebra . In Proc. 29th AAAI Conference on Artificial Intelligence. 2052--2059 . Amit K. Chopra and Munindar P. Singh. 2015. Cupid: Commitments in Relational Algebra. In Proc. 29th AAAI Conference on Artificial Intelligence. 2052--2059."},{"key":"e_1_3_2_1_5_1","first-page":"12","article-title":"Protocols Over Things: A Decentralized Programming Model for the Internet of Things","volume":"53","author":"Samuel H.","year":"2020","unstructured":"Samuel H. ChristienUmErAL V , Daria Smirnova , Amit K. Chopra , and Munindar P. Singh . 2020 . Protocols Over Things: A Decentralized Programming Model for the Internet of Things . IEEE Computer , Vol. 53 , 12 (Dec. 2020), 60--68. %% %% %% https:\/\/doi.org\/10.1109\/MC.2020.3023887%% Samuel H. ChristienUmErAL V , Daria Smirnova, Amit K. Chopra, and Munindar P. Singh. 2020. Protocols Over Things: A Decentralized Programming Model for the Internet of Things . IEEE Computer , Vol. 53, 12 (Dec. 2020), 60--68. %% %% %% https:\/\/doi.org\/10.1109\/MC.2020.3023887%%","journal-title":"IEEE Computer"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"David Clark. 2015. The Network and the OS. In SOSP History Day 2015 (Monterey California). ACM Article 11 bibinfonumpages19 pages.  David Clark. 2015. The Network and the OS. In SOSP History Day 2015 (Monterey California). ACM Article 11 bibinfonumpages19 pages.","DOI":"10.1145\/2830903.2830912"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.17487\/RFC9000"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/357401.357402"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.735849"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the 10th International Conference on Autonomous Agents and MultiAgent Systems. 491--498","author":"Singh Munindar P.","year":"2011","unstructured":"Munindar P. Singh . 2011 . Information-Driven Interaction-Oriented Programming: BSPL, the Blindingly Simple Protocol Language . In Proceedings of the 10th International Conference on Autonomous Agents and MultiAgent Systems. 491--498 . Munindar P. Singh. 2011. Information-Driven Interaction-Oriented Programming: BSPL, the Blindingly Simple Protocol Language. In Proceedings of the 10th International Conference on Autonomous Agents and MultiAgent Systems. 491--498."},{"key":"e_1_3_2_1_11_1","volume-title":"Singh","author":"Yolum Pinar","year":"2002","unstructured":"Pinar Yolum and Munindar P . Singh . 2002 . Flexible Protocol Specification and Execution: Applying Event Calculus Planning using Commitments. In Proceedings of the 1st International Joint Conference on Autonomous Agents and MultiAgent Systems . ACM Press , 527--534. Pinar Yolum and Munindar P. Singh. 2002. Flexible Protocol Specification and Execution: Applying Event Calculus Planning using Commitments. In Proceedings of the 1st International Joint Conference on Autonomous Agents and MultiAgent Systems . ACM Press, 527--534."}],"event":{"name":"PODC '21: ACM Symposium on Principles of Distributed Computing","location":"Virtual Event Italy","acronym":"PODC '21","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3465084.3467486","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3465084.3467486","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:18:25Z","timestamp":1750191505000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3465084.3467486"}},"subtitle":["An Application Semantics Approach for Engineering Decentralized Applications"],"short-title":[],"issued":{"date-parts":[[2021,7,21]]},"references-count":11,"alternative-id":["10.1145\/3465084.3467486","10.1145\/3465084"],"URL":"https:\/\/doi.org\/10.1145\/3465084.3467486","relation":{},"subject":[],"published":{"date-parts":[[2021,7,21]]},"assertion":[{"value":"2021-07-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}