A Formal Framework for Interactive Agents
From MaRDI portal
Publication:2864512
DOI10.1016/j.entcs.2008.04.088zbMath1277.68207MaRDI QIDQ2864512
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
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68T42: Agent technology and artificial intelligence
Uses Software
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