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.
| Lingua originale | Inglese |
|---|---|
| Pagine | 284-291 |
| Numero di pagine | 8 |
| Stato di pubblicazione | Pubblicato - 2024 |
| Evento | 25th Italian Conference on Theoretical Computer Science, ICTCS 2024 - Torino Durata: 1 gen 2024 → … |
???event.eventtypes.event.conference???
| ???event.eventtypes.event.conference??? | 25th Italian Conference on Theoretical Computer Science, ICTCS 2024 |
|---|---|
| Città | Torino |
| Periodo | 1/01/24 → … |
Keywords
- Agent Interaction Protocols
- Agent Programming Languages
- Global Types
- Multiparty Sessions
Fingerprint
Entra nei temi di ricerca di 'Global Types for Agent Interaction Protocols (short paper)'. Insieme formano una fingerprint unica.Cita questo
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver