Skip to content

⊗Agent Algebra

Papers About Code

Part II · cs.LO

Laws of Agent Composition

Matthew Long · 28 pages

Download PDF Code

Table of contents

1 Introduction 2 Prior art 3 The agent object 4 The signature 4.1 Units, constants and delay 4.2 Sequential composition 4.3 Choice 4.4 Products 4.5 Recovery 4.6 Recursion 5 Congruence 6 The category of agents 7 Recursion and guardedness 8 The guarded fragment 9 Choice and accepted traces 9.1 Accepted traces of the operators 9.2 The idempotent semiring with tests 9.3 What fails at bisimilarity 10 The synchronous product 11 Failure and recovery 12 Worked examples 13 Limitations 14 Conclusion References 15 Code evidence

1 Introduction 2 Prior art 3 The agent object 4 The signature 4.1 Units, constants and delay 4.2 Sequential composition 4.3 Choice 4.4 Products 4.5 Recovery 4.6 Recursion 5 Congruence 6 The category of agents 7 Recursion and guardedness 8 The guarded fragment 9 Choice and accepted traces 9.1 Accepted traces of the operators 9.2 The idempotent semiring with tests 9.3 What fails at bisimilarity 10 The synchronous product 11 Failure and recovery 12 Worked examples 13 Limitations 14 Conclusion References 15 Code evidence

Agents as Effectful Mealy Coalgebras

Channels, Actors, and Shared State

Matthew Long · The YonedaAI Collaboration · YonedaAI Research Collective · Chicago

matthew@yonedaai.com yonedaai.com GitHub

Papers licensed CC BY 4.0. Code licensed MIT.