H ? « »

Language peer sets for Concurrent METATEM:
Designed 1993
1990s languages
Fifth generation
Post-Cold War

Concurrent METATEM(ID:5661/con023)

alternate simple view
Designed 1993


concurrent language for executable temporal logic

extension to METATEM


Related languages
METATEM Concurrent METATEM   Extension of

References:
  • Fisher, M. (1993) Fisher, M. "Towards a semantics for Concurrent METATEM" In M. Fisher and R. Owens, editors, Executable Modal and Temporal Logics. Springer-Verlag: Heidelberg, Germany, 1993. Abstract Extract: Introduction
  • Michael Fisher: Concurrent METATEM - A Language fo (1993) Michael Fisher: Concurrent METATEM - A Language for Modelling Reactive Systems. PARLE 1993 pp185-196
  • Michael Fisher: A Survey of Concurrent METATEM - t (1994) Michael Fisher: A Survey of Concurrent METATEM - the Language and its Applications. ICTL 1994: 480-505 Abstract Extract: Introduction
  • Fisher, Michael (1996) Fisher, Michael "Temporal semantics for concurrent METATEM" pp627-648
          in Journal of Symbolic Computation 22(5-6) Nov./Dec. (1996) Journal of Symbolic Computation 22(5-6) Nov./Dec. 1996 Special issue: executable temporal logics
  • Fisher, Michael; Kellett, Adam (1996) Fisher, Michael; Kellett, Adam "The concurrent METATEM system" pp728-729
          in Journal of Symbolic Computation 22(5-6) Nov./Dec. (1996) Journal of Symbolic Computation 22(5-6) Nov./Dec. 1996 Special issue: executable temporal logics
  • Fisher, Michael and Michael Wooldridge (1997) Fisher, Michael and Michael Wooldridge "On the formal specification and verification of multi-agent systems" In International Journal of Cooperative Information Systems, 6(1), pages 37-65, 1997
          in Journal of Symbolic Computation 22(5-6) Nov./Dec. (1996) Journal of Symbolic Computation 22(5-6) Nov./Dec. 1996 Special issue: executable temporal logics
  • Kellett, A. and Fisher, M. (1997) Kellett, A. and Fisher, M. "Automata representations for Concurrent METATEM" 4th International Workshop on Temporal Representation and Reasoning (TIME '97) May 10 - 11, 1997 Daytona Beach, FL Abstract
          in Journal of Symbolic Computation 22(5-6) Nov./Dec. (1996) Journal of Symbolic Computation 22(5-6) Nov./Dec. 1996 Special issue: executable temporal logics
  • Wooldridge, M. (1997) Wooldridge, M. "A knowledge-theoretic semantics for concurrent MetateM" J. Müller, M. Wooldridge (eds.) "Intelligent Agents III", pp357-374. Springer Verlag, 1997.
          in Journal of Symbolic Computation 22(5-6) Nov./Dec. (1996) Journal of Symbolic Computation 22(5-6) Nov./Dec. 1996 Special issue: executable temporal logics
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder