Type checking for protocol role enactments via commitments
Baldoni, Matteo ; Baroglio, Cristina ; Capuzzimati, Federico ; Micalizio, Roberto
- Link zu diesem Datensatz
- https://d-nb.info/1155216075
- Titel
- Type checking for protocol role enactments via commitments
- Art des Inhalts
- Teil eines Werks
- Verfassangaben
- by Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Roberto Micalizio
- Autor(en)
-
- Baldoni, Matteo
- Baroglio, Cristina
- Capuzzimati, Federico
- Micalizio, Roberto
- Organisation(en)
-
- SpringerLink (Online service)
- Zeitliche Einordnung
- Erscheinungsdatum: 2018
- Umfang/Format
- Online-Ressource
- ISSN
15737454- DOI
- 10.1007/s10458-018-9382-3
- Online
- https://doi.org/10.1007/s10458-018-9382-3
- Sprache
- eng
- Schlagwörter
-
- (lcsh)Computer science.
- (lcsh)Computer organization.
- (lcsh)Software engineering.
- (lcsh)User interfaces (Computer systems).
- (lcsh)Computers.
- (lcsh)Artificial intelligence.
- Computer Science.
- Artificial Intelligence (incl. Robotics).
- Computer Systems Organization and Communication Networks.
- Computing Methodologies.
- Software Engineering/Programming and Operating Systems.
- User Interfaces and Human Computer Interaction.
- Frühere/spätere Titel
-
- Enthalten in: Autonomous agents and multi-agent systems
- Enthalten in: Autonomous agents and multi-agent systems
- Enthalten in: Autonomous agents and multi-agent systems
- Stand
- 03.04.2020 15:52
- Im Katalog seit
- 07.03.2026