A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Typing Multi-Agent Systems via Commitments
[chapter]
2014
Lecture Notes in Computer Science
This work presents an agent typing system, that differently than most of other proposals relies on notions that are typical of agent systems instead of relying on a functional approach. Specifically, we use commitments to define types. The proposed typing includes a notion of compatibility, based on subtyping, which allows for the safe substitution of agents to roles along an interaction that is ruled by a commitmentbased protocol. Type checking can be done dynamically when an agent enacts a
doi:10.1007/978-3-319-14484-9_20
fatcat:acq3auk5nfhxbaluku4y34sddi