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)
Cited by: More
Reasoning about Agent's Private Knowledge - Jakob, Tozicka, Pechoucek.. (2004) (Correct)
Analysis and Run-time Verification of Dynamic Security.. - Janicke, Siewe, Jones, .. (Correct)
Towards a Logic of Rational Agency - van der Hoek, Wooldridge (2003) (Correct)
Similar documents (at the sentence level): More
16.1%: Concurrent METATEM - A Language for Modelling Reactive Systems - Fisher (1993) (Correct)
11.6%: A Logical Approach to Simulating Societies - Fisher, Wooldridge (Correct)
7.6%: METATEM at Work: Modelling Reactive Systems Using.. - Finger, Fisher, Owens (1992) (Correct)
Active bibliography (related documents): More All
0.8: MetateM in Intensive Care - Reynolds (1997) (Correct)
0.6: Executable Temporal Logic for Distributed A.I. - Fisher, Wooldridge (1993) (Correct)
0.4: Specifying and Verifying Distributed Intelligent Systems - Fisher, Wooldridge (1993) (Correct)
Similar documents based on text: More All
0.6: A Knowledge-Theoretic Semantics for Concurrent METATEM - Wooldridge (1996) (Correct)
0.5: Concurrent METATEM Processes - A Language for Distributed AI - Fisher, Barringer (1991) (Correct)
0.5: Transformation and Synthesis in METATEM Part I.. - Fisher, Noël (1992) (Correct)
Related documents from co-citation: More All
27: Agent-oriented programming (context) - Shoham - 1993
17: Modeling rational agents within a BDI-architecture - Rao, Georgeff - 1991
16: Intention is choice with commitment (context) - Cohen, Levesque - 1990
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
12 Concurrent METATEM --- A Language for Modeling Reactive Syst.. (context) - Fisher - 1993
11 Executable Temporal Logic for Distributed - Fisher, Wooldridge - 1993
10 METATEM at Work: Modelling Reactive Systems Using Executable.. - Finger, Fisher et al. - 1993
7 A Logical Approach to the Representation of Societies of Age.. (context) - Fisher, Wooldridge - 1993
6 IEEE Transactions on Software Engineering (context) - Gehani, Processes - 1984
2 Executing temporal logic: Review and prospects (context) - Barringer, Gabbay - 1988
1 Concurrent METATEM Processes --- A Languagefor Distributed A.. (context) - Fisher, Barringer - 1991
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