On the formal specification and verification of multi-agent systems

International Journal of Cooperative Information Systems

Volumn 6, Issue 1, 1997, Pages 37-65

  Fisher, Michael ^a   Wooldridge, Michael ^a  

^a MANCHESTER METROPOLITAN UNIVERSITY   (United Kingdom)

Author keywords

Formal specification and verification; Multi agent systems

Indexed keywords

EID: 26644453020     PISSN: 02188430     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218843097000057     Document Type: Article

References (11)

1. H. Barringer, M. Fisher, D. Gabbay, G. Gough and R. Owens, METATEM: A framework for programming in temporal logic, Proc. REX Workshop on Stepwise Refinement of Distributed Syst.: Models, Formalisms, Correctness, Mook, Netherlands, June 1989. (Published in Lecture Notes in Computer Science, Volume 430, Springer Verlag).
2. H. Barringer, M. Fisher, D. Gabbay and A. Hunter, Meta-reasoning in executable temporal logic, eds. J. Allen, R. Fikes and E. Sandewall, Proc. Int. Conf. on Principles of Knowledge Representation and Reasoning (KR), Cambridge, Massachusetts, April 1991, Morgan Kaufmann.
3. K. Birman, The process group approach to reliable distributed computing, Technical Report TR91-1216, Department of Computer Science, Cornell University, USA, July 1991.
4. A. H. Bond and L. Gasser, Readings in Distributed Artificial Intell. Morgan Kaufmann, 1988.
5. A. Borg, J. Baumbach and S. Glazer, A message system supporting fault tolerance, Proc. Ninth ACM Symp. on Operating System Principles, New Hampshire, October 1983, 90-99, ACM (In ACM Operating Systems Review, Vol. 17, No. 5).
6. E. Durfee, Coordination of Distributed Problem Solvers, Kluwer Academic Press, 1988.
7. E. A. Emerson, Temporal and modal logic, ed. J. van Leeuwen, Handbook of Theoretical Computer Science (Elsevier, 1990) 996-1072.
8. M. Fisher, Concurrent METATEM - A language for modeling reactive systems, Parallel Architectures and Languages, Europe (PARLE), Munich, Germany, Springer-Verlag, June 1993.
9. M. Fisher, A survey of concurrent METATEM - the language and its applications, eds. D. M. Gabbay and H. J. Ohlbach, Temporal Logic - Proc. First Int. Conf. (LNAI Volume 827) (Springer-Verlag: Heidelberg, Germany, July 1994) 480-505.
10. M. Fisher, Representing and executing agent-based systems, eds. M. Wooldridge and N. R. Jennings, Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890) (Springer-Verlag: Heidelberg, Germany, January 1995) 307-323.
11. M. Fisher, Towards a semantics for concurrent METATEM, eds. M. Fisher and R. Owens, Executable Modal and Temporal Logics, Springer-Verlag, 1995.