Temporal semantics for concurrent METATEM

Journal of Symbolic Computation

Volumn 22, Issue 5-6, 1996, Pages 627-648

  Fisher, Michael ^a  

^a MANCHESTER METROPOLITAN UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030295478     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1006/jsco.1996.0069     Document Type: Article

References (27)

1. Barringer, H., Kuiper, R., Pnueli, A. (1986). A really abstract concurrent model and its temporal logic. In Proc. Thirteenth ACM Symposium on the Principles of Programming Languages, St Petersberg Beach, Florida.
2. Barringer, H., Fisher, M., Gabbay, D., Gough, G., Owens, R. (1989). METATEM: A Framework for Programming in Temporal Logic. In Proc. REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, Mook, Netherlands. Published in LNCS, volume 430, Springer-Verlag.
3. Barringer, H., Fisher, M., Gabbay, D., Gough, G., Owens, R. (1995). METATEM: an introduction. Formal Aspects of Computing, 7(5):533-549.
4. Birman, K. (1991). The Process Group Approach to Reliable Distributed Computing. Techanical Report 91-1216, Department of Computer Science, Cornell University.
5. Emerson, E.A. (1990). Temporal and modal logic. In van Leeuwen, J., ed., Handbook of Theoretical Computer Science, pp. 996-1072. Elsevier.
6. Finger, M., Fisher, M., Owens, R. (1993). 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 (IEA/AIE), Edinburgh, U.K. Gordon and Breach Publishers.
7. Fisher, M., Kellett, A. (1997). Programming Dynamic Systems using Concurrent METATEM. In BCS Workshop on Intelligent Agents. SGES Publications.
8. Fisher, M., Owens, R. (1992). From the past to the future: executing temporal logic programs. In Proc. Logic Programming and Automated Reasoning (LPAR), St Petersberg, Russia. Published in LNCS, volume 624, Springer-Verlag.
9. Fisher, M., Wooldridge, M. (1993). Executable temporal logic for D A.I. In Twelfth International Workshop on Distributed A.I., Hidden Valley Resort, Pennsylvania.
10. Fisher, M., Wooldridge, M. (1995). A logical approach to the representation of societies of agents. In Gilbert, N., Conte, R., eds, Artificial Societies. UCL Press.
11. Fisher, M. (1992). A normal form for first-order temporal formulae. In Proc. Eleventh International Conference on Automated Deduction (CADE), Saratoga Springs, New York. Published in LNCS, volume 607, Springer-Verlag.
12. Fisher, M. (1993). Concurrent METATEM - a language for modeling reactive systems. In Parallel Architectures and Languages, Europe (PARLE), Munich, Germany. Published in LNCS, volume 694, Springer-Verlag.
13. Fisher, M. (1994). A survey of concurrent METATEM - the language and its applications. In First International Conference on Temporal Logic (ICTL), Bonn, Germany. Published in LNCS, volume 827, Springer-Verlag.
14. Fisher, M. (1995). Towards a semantics for Concurrent METATEM. In Fisher, M., Owens, R., eds, Executable Modal and Temporal Logics. Springer-Verlag.
15. Fisher, M. (1996). An introduction to executable temporal logics. Knowledge Engineering Review, 11(1).
16. Fisher, M. (1997). An open approach to concurrent theorem-proving. In Parallel Processing in Artificial Intelligence, volume 3, Elsevier.
17. Gabbay, D. (1987). Declarative past and imperative future: E temporal logic for interactive systems. In Banieqbal, B., Barringer, H., Pnueli, A., eds, Proc. Colloquium on Temporal Logic in Specification, Altrincham, U.K. Published in LNCS, volume 398, Springer-Verlag.
18. Gabbay, D., Pnueli, A., Shelah, S., Stavi, J. (1980). The temporal analysis of fairness. In Proc. Seventh ACM Symposium on the Principles of Programming Languages, Las Vegas, Nevada.
19. Harel, D., Pnueli, A. (1985). On the development of reactive systems. Technical Report CS85-02, Department of Applied Mathematics, The Weizmann Institute of Science, Revohot, Israel.
20. Kesten, Y., Manna, Z., Pnueli, A. (1994). Temporal verification of simulation and refinement. LNCS, 803.
21. Manna, Z., Pnueli, A. (1992). The Temporal Logic of Reactive and Concurrent Systems: Specification. New York, Springer-Verlag.
22. nd European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW). Elsevier/North Holland.
23. Pnueli, A. (1986). Applications of temporal logic to the Specification and verification of reactive systems: a survey of current trends. LNCS, 224.
24. Prasad, K.V.S. (1991). A calculus of broadcasting systems. In Abramsky, S., Maibaum, T., eds, Proc. International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Brighton, U.K. Published in LNCS, volume 493, Springer-Verlag.
25. Wooldridge, M., Jennings, N.R. Agent theories, architectures, and languages: a survey. In Wooldridge, M., Jennings, N.R., eds, Intelligent Agents. Springer-Verlag.
26. Wooldridge, M. (1995). This is MYWORLD: The logic of an agent-oriented testbed for DAI. In Wooldridge, M. and Jennings, N. R., eds, Intelligent Agents - Proc. 1994 Workshop on Agent Theories, Architectures, and Languages, pp. 160-178. Springer-Verlag.
27. Yonezawa, A., Tokoro, M. (1986). Object-oriented concurrent programming. In Yonezawa, A., Tokoro, M., eds, Object-Oriented Concurrent Programming, pp, 1-7. MIT Press.