A survey of concurrent METATEM - the language and its applications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 827 LNAI, Issue , 1994, Pages 480-505

  Fisher, Michael ^a  

^a MANCHESTER METROPOLITAN UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

SURVEYS; TEMPORAL LOGIC;

DEVELOPMENT STAGES; DIRECT EXECUTION; ITS APPLICATIONS; SAMPLE APPLICATIONS; TEMPORAL FORMULAE;

COMPUTER CIRCUITS;

EID: 77956810885     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0014005     Document Type: Conference Paper

References (22)

1. M. Abadi and Z. Manna. Temporal Logic Programming. Journal of Symbolic Computation, 8: 277-295,1989.
2. G. Agha. Actors - A Model for Concurrent Computation in Distributed Systems. MIT Press, 1986.
3. H. Barringer, M. Fisher, D. Gabbay, G. Gough, and R. Owens. MetateM: A Framework for Programming in Temporal Logic. In Proceedings of REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, Mook, Netherlands, June 1989. (Published in LNCS volume 430, Springer Verlag).
4. H. Barringer, M. Fisher, D. Gabbay, and A. Hunter. Meta-Reasoning in Executable Temporal Logic. In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), Cambridge, Massachusetts, April 1991.
5. H. Barringer and D. Gabbay. Executing temporal logic: Review and prospects (Extended Abstract). In Proceedings of Concurrency '88, 1988.
6. K. Birman. The Process Group Approach to Reliable Distributed Computing. Techanical Report TR91-1216, Department of Computer Science, Cornell University, July 1991.
7. A. Borg, J. Baumbach, and S. Glazer. A Message System Supporting Fault Tolerance. In Proceedings of the Ninth ACM Symposium on Operating System Principles, New Hampshire, October 1983. ACM. (In ACM Operating Systems Review, vol. 17, no. 5).
8. M. Finger, M. Fisher, and R. Owens. METATEM at Work: Modelling Reactive Systems Using Executable Temporal Logic. In Sixth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (1EA/AIE-93), Edinburgh, U.K., June 1993. Gordon and Breach Publishers.
9. M. Fisher and H. Barringer. Concurrent METATEM Processes - A Language for Distributed AI. In Proceedings of the European Simulation Multiconference, Copenhagen, June 1991.
10. M. Fisher and R. Owens. From the Past to the Future: Executing Temporal Logic Programs. In Proceedings of Logic Programming and Automated Reasoning (LPAR), St. Petersberg, Russia, July 1992. (Published in LNCS volume 624, Springer Verlag).
11. M. Fisher and M. Wooldridge. A Logical Approach to the Representation of Societies of Agents. In Proceedings of Second International Workshop on Simulating Societies (SimSoc), Certosa di Pontignano, Siena, Italy, July 1993.
12. M. Fisher and M. Wooldridge. Executable Temporal Logic for Distributed A.I. In Twelfth International Workshop on Distributed A.I., Hidden Valley Resort, Pennsylvania, May 1993.
13. M. Fisher and M. Wooldridge. Specifying and Verifying Distributed Intelligent Systems. In Portuguese Conference on Artificial Intelligence (EPIA). Springer-Verlag, October 1993.
14. M. Fisher. A Normal Form for First-Order Temporal Formulae. In Proceedings of Eleventh International Conference on Automated Deduction (CADE), Saratoga Springs, New York, June 1992. (Published in LNCS volume 607, Springer Verlag).
15. M. Fisher. Concurrent METATEM - A Language for Modeling Reactive Systems. In Par-allel Architectures and Languages, Europe (PARLE), Munich, Germany, June 1993.
16. N. Gehani. Broadcasting Sequential Processes. IEEE Transactions on Software Engineering, 10(4):343-351, July 1984.
17. D. Gelernter, N. Carriero, S. Chandran, and S. Chang. Parallel programming in Linda. In International Conference on Parallel Processing, August 1985.
18. T. Maruichi, M. Ichikawa, and M. Tokoro. Modelling Autonomous Agents and their Groups. In Decentralized AI 2 - Proceedings of the 2nd European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW). Elsevier/North Holland, 1991.
19. B. Moszkowski. Executing Temporal Logic Programs. Cambridge University Press, Cambridge, U.K., 1986.
20. K. V. S. Prasad. A Calculus of Broadcasting Systems. In Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), pages 338-358, Brighton, U.K., April 1991. (Published in LNCS volume 493, Springer Verlag).
21. Y. Shoham. Agent Oriented Programming. Technical Report STAN-CS-1335-90, Department of Computer Science, Stanford University, California, USA, 1990.
22. R. G. Smith and R. Davis. Frameworks for Cooperation in Distributed Problem Solving. IEEE Transactions on Systems, Man and Cybernetics, 11 (1):61-70, 1981.