Typing multi-agent systems via commitments. (2014)

by Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati
Venue:of Lecture Notes in Computer Science,