A Formal Framework for Interactive Agents

DOI10.1016/j.entcs.2008.04.088zbMath1277.68207OpenAlexW1993438807MaRDI QIDQ2864512

Carolyn L. Talcott

Publication date: 6 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.04.088

zbMATH Keywords

interactionpolicycoordinationautonomydistributed object reflection

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Agent technology and artificial intelligence (68T42)

Uses Software

• PAGODA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proceedings of the workshop on the foundations of interactive computation (FInCo 2005), Edinburgh, UK, April 9, 2005
• Turing machines, transition systems, and interaction
• Conditional rewriting logic as a unified model of concurrency
• Composable semantic models for actor theories
• Specification and Development of Interactive Systems
• Comparing Three Coordination Models: Reo, ARC, and RRD
• Concurrent Semantics Without the Notions of State or State Transitions
• Recent Trends in Algebraic Development Techniques
• The algebra of stream processing functions

This page was built for publication: A Formal Framework for Interactive Agents