All pages tagged with process algebras

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