Equality of agent expressions is preserved under an extension of the universe of actions

DOI10.1007/BF01211317zbMath0781.68056OpenAlexW2000536941MaRDI QIDQ2366167

Raymond Devillers, Thierry Massart

Publication date: 29 June 1993

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01211317

zbMATH Keywords

agent calculus

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (1)

An agent calculus with simple actions where the enabling and disabling are derived operators

Cites Work

• Unnamed Item
• Unnamed Item
• On the sum Σ n  P h i σ h j

This page was built for publication: Equality of agent expressions is preserved under an extension of the universe of actions