How to model multiparty interactions in CCS with continuations?
Abstract Continuation Semantics for Multiparty Interactions in Process Calculi based on CCS
This paper explores mathematical models (denotational and operational semantics) for multiparty interactions in process calculi (like CCS, extended with joint input/prefix). It focuses on proving the "weak abstractness" of these models, meaning the models accurately capture observable behavior, but only for specific, relevant parts of the system. This is achieved using a technique called "continuation semantics," where future computations are represented as structured data.
While not directly addressing LLMs, the focus on formal models for multiparty interactions and the emphasis on "weak abstractness" are highly relevant to LLM-based multi-agent systems. The formal, mathematical approach can inspire rigorous design and analysis of LLM-agent interactions, ensuring that models capture the essential behaviors. The concept of "denotable continuations" is akin to defining the relevant scope of future LLM computations for analysis, which is crucial for managing the complexity of such systems. The paper's methods could inform the development of more robust and predictable multi-agent applications that leverage LLMs.