Desire: Modelling Multi-Agent Systems in a Compositional Formal Framework

Abstract
No abstract available