Compositional formal specification of multi-agent systems
- 1 January 1995
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 102-117
- https://doi.org/10.1007/3-540-58855-8_6
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Temporal theories of reasoningPublished by Springer Nature ,2005
- Temporal semantics of meta-level architectures for dynamic control of reasoningLecture Notes in Computer Science, 1994
- User centered knowledge-based system design: a formal modelling approachLecture Notes in Computer Science, 1994
- Specifying and verifying distributed Intelligent systemsLecture Notes in Computer Science, 1993