Search results for: Mark d’Inverno
Lecture Notes in Computer Science > Formal Approaches to Agent-Based Systems > Frameworks and Formalization > 133-147
Lecture Notes in Computer Science > Multi-Agent Systems and Applications III > Formal Methods > 17-28
Lecture Notes in Computer Science > Engineering Self-Organising Systems > Synthesis and Design Methods > 52-68
Lecture Notes in Computer Science > Intelligent Agents VII Agent Theories Architectures and Languages > Panel Summary: Autonomy —Theory, Dimensions, and Regulation > 351-353
Lecture Notes in Computer Science > Multi-Agent Systems. Theories, Languages and Applications > 58-73
Lecture Notes in Computer Science > ZB 2000: Formal Specification and Development in Z and B > 168-187
Lecture Notes in Computer Science > Intelligent Agents VII Agent Theories Architectures and Languages > Autonomy and Models of Agent Coordination > 182-197
Lecture Notes in Computer Science