scientific article; zbMATH DE number 1759734
From MaRDI portal
Publication:4536749
zbMath0988.68721MaRDI QIDQ4536749
Kiyoshi Kogure, Victor Luchangco, Paul C. Attie, Ken Mano, Idit Keidar, Tadashi Araragi, Nancy A. Lynch
Publication date: 15 July 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Artificial intelligence (68T99)
Related Items (4)
Dynamic input/output automata: a formal and compositional model for dynamic systems ⋮ On feasible cases of checking multi-agent systems behavior. ⋮ On complexity of verification of interacting agents' behavior ⋮ Systems of agents controlled by logical programs: complexity of verification
This page was built for publication:
