All pages tagged with process algebras

• Agent Interaction Semantics by Timed Operating Instructions
• Process-Algebraic Approaches for Multi-Agent Systems: An Overview
• An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts
• Sistemi distribuiti 2021/2022
• Special Issue “Process Algebras and Multi-Agent Systems”
• Sistemi distribuiti 2022/2023
• An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS
• Labelled Transition Systems Generator
• Formal Specification and Enactment of Security Policies through Agent Coordination Contexts
• MAS@AAECC