Concurrent MetateM

Known as: MetateM 
Concurrent MetateM is a multi-agent language in which each agent is programmed using a set of (augmented) temporal logic specifications of the… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1989-2014
024619892014

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2005
2005
METATEM is a simple programming language based on the direct execution of temporal logic statements. It was introduced through a… (More)
Is this relevant?
1997
1997
Concurrent METATEM is a language based on the execution of temporal logic formulae. The current implementations are based upon… (More)
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1996
1996
Concurrent MetateM is a programming language based on the notion of concurrent, communicating objects, where each object directly… (More)
  • figure 1
  • figure 2
Is this relevant?
Review
1996
Review
1996
The aim of this paper is to develop a semantics for the multi-agent programming language Concurrent METATEM, by using the tools… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1995
Highly Cited
1995
In this paper a methodology for the use of temporal logic as an executable imperative language is introduced. The approach, which… (More)
  • figure 1
  • figure 3
  • figure 5
Is this relevant?
1993
1993
Concurrent METATEM is a programming language based on the notion of concurrent, communicating objects, where each object directly… (More)
  • figure 6.1
  • figure 6.2
Is this relevant?
1993
1993
In this paper, a language based on the notion of concurrent, communicating objects is presented. Each object executes a… (More)
Is this relevant?
1992
1992
In this paper we describe the application of a high-level programming language to the abstract modelling of transport systems. We… (More)
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
1991
1991
In this paper, we introduce Concurrent METATEM Processes, a high-level language for modeling distributedand concurrent systems… (More)
Is this relevant?
Highly Cited
1989
Highly Cited
1989
In this paper we further develop the methodology of temporal logic as an executable imperative language, presented by Moszkowski… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?