Algebraic specification of agent computation

DOI10.1007/S00200-005-0172-1zbMath1085.68093OpenAlexW2076495537MaRDI QIDQ814896

David Kinny

Publication date: 8 February 2006

Published in: Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00200-005-0172-1

zbMATH Keywords

\(\Psi\)-calculus

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Abstract data types; algebraic specification (68Q65) Theory of software (68N99)

Uses Software

• AgentSpeak
• Linda

Cites Work

• Higher-level synchronising devices in Meije-SCCS
• Conditional rewriting logic as a unified model of concurrency
• The chemical abstract machine
• Bisimulation can't be traced
• Generative communication in Linda
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Algebraic specification of agent computation