Michael Fisher  Home/Search
Context Related
| doc.mmu.ac.uk/STAFF/...ictl94survey.ps undergrad.math.uwaterloo.c...metatem.ps csc.liv.ac.uk/~micha...ictl94survey.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: doc.mmu.ac.uk/RESEARC...group_pub (more) From: undergrad.math.uwaterloo.ca/~c... (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . In this paper we present a survey of work relating to the Concurrent METATEM programming language. In addition to a description of the basic Concurrent METATEM system, which incorporates the direct execution of temporal formulae, a variety of extensions that have either been implemented or proposed are outlined. Although still in the development stage, there appear to be many areas where such a language could be applied. We present a variety of sample applications, highlighting the... (Update)
Similar documents based on text: More All
1.0: Towards a Semantics for Concurrent METATEM - Fisher (1995) (Correct)
0.6: A Knowledge-Theoretic Semantics for Concurrent METATEM - Wooldridge (1996) (Correct)
0.5: Specifying and Verifying Distributed Intelligent Systems - Fisher, Wooldridge (1993) (Correct)
BibTeX entry: (Update)
M. Fisher. A Survey of Concurrent MetateM - the Language and its Applications. In D.M. Gabbay and H.J. Ohlbach, editors, Temporal Logic - Proceedings of the First International Conference, number 827 in LNAI, pages 480--505. SpringerVerlag, 1994. http://citeseer.ist.psu.edu/fisher94survey.html More
@inproceedings{ fisher94survey,
author = "M. Fisher",
title = "A survey of Concurrent {METATEM} -- the language and its applications",
booktitle = "Temporal Logic - Proceedings of the First Intemational Conference ({LNAI} Volume 827)",
publisher = "Springer-Verlag: Heidelberg, Germany",
editor = "D. M. Gabbay and H. J. Ohlbach",
pages = "480--505",
year = "1994",
url = "citeseer.ist.psu.edu/fisher94survey.html" }
Citations (may not include all citations):673 Actors - A Model for Concurrent Computation in Distributed S.. (context) - Agha - 1986
349 The Process Group Approach to Reliable Distributed Computing (context) - Birman - 1991
121 Executing Temporal Logic Programs - Moszkowski - 1986
105 Frameworks for Cooperation in Distributed Problem Solving (context) - Smith, Davis - 1981
98 A Message System Supporting Fault Tolerance (context) - Borg, Baumbach et al. - 1983
77 Temporal Logic Programming (context) - Abadi, Manna - 1989
60 METATEM: A Framework for Programming in Temporal Logic - Barringer, Fisher et al. - 1989
50 Parallel programming in Linda (context) - Gelernter, Carriero et al. - 1985
27 A Calculus of Broadcasting Systems - Prasad - 1991
24 Meta-Reasoning in Executable Temporal Logic - Barringer, Fisher et al. - 1991
23 Specifying and Verifying Distributed Intelligent Systems - Fisher, Wooldridge - 1993
22 A Normal Form for First-Order Temporal Formulae - Fisher - 1992
16 Department of Computer Science (context) - Shoham, Programming et al. - 1990
16 From the Past to the Future: Executing Temporal Logic Progra.. - Fisher, Owens - 1992
13 Modelling Autonomous Agents and their Groups (context) - Maruichi, Ichikawa et al. - 1991
[Article contains additional citations not shown here]
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.doc.mmu.ac.uk/RESEARCH/LoCo/group_pub.html): More
Fair SMG and Linear Time Model Checking - Barringer, Fisher, Gough (1989) (Correct)
Concurrent METATEM Processes - A Language for Distributed AI - Fisher, Barringer (1991) (Correct)
Executable Temporal Logic for Distributed A.I. - Fisher, Wooldridge (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC