Abstract
We introduce an extension of global and local types tailored to the description of FIPA agent interaction protocols, formalize one of such protocols with these types. This paper is the first step of an ongoing project aimed at the definition of agent systems correctly implementing protocols by construction.
| Original language | English |
|---|---|
| Pages | 284-291 |
| Number of pages | 8 |
| Publication status | Published - 2024 |
| Event | 25th Italian Conference on Theoretical Computer Science, ICTCS 2024 - Torino Duration: 1 Jan 2024 → … |
Conference
| Conference | 25th Italian Conference on Theoretical Computer Science, ICTCS 2024 |
|---|---|
| City | Torino |
| Period | 1/01/24 → … |
Keywords
- Agent Interaction Protocols
- Agent Programming Languages
- Global Types
- Multiparty Sessions
Fingerprint
Dive into the research topics of 'Global Types for Agent Interaction Protocols (short paper)'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver