A Formal Framework Supporting the Specification of the Interactions between Agents (Informatica, 2025)
A Formal Framework Supporting the Specification of the Interactions between Agents