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

DOI10.1016/0020-0190(91)90080-2zbMath0742.68021OpenAlexW1981734879MaRDI QIDQ1183473

Thierry Massart

Publication date: 28 June 1992

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(91)90080-2

zbMATH Keywords

process algebradisablingenabling

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Calculi for synchrony and asynchrony
• A calculus of communicating systems
• Equality of agent expressions is preserved under an extension of the universe of actions
• Formal verification of parallel programs

This page was built for publication: An agent calculus with simple actions where the enabling and disabling are derived operators