Executing specifications of distributed computations with chronolog(MC)

Proceedings of the ACM Symposium on Applied Computing

Volumn Part F128723, Issue , 1996, Pages 393-400

  Liu, Chuchang ^a   Orgun, Mehmet A ^a  

^a MACQUARIE UNIVERSITY   (Australia)

Author keywords

Clocks; Distributed computations; Executable specification; Logic programming; Simulation; Temporal logic

Indexed keywords

CLOCKS; COMPUTATION THEORY; COMPUTER CIRCUITS; LOGIC PROGRAMMING; SPECIFICATIONS;

DISTRIBUTED COMPUTATIONS; DYNAMIC CHANGES; EXECUTABLE SPECIFICATIONS; LINEAR TIME TEMPORAL LOGIC; SIMULATION; SIMULATION SYSTEMS;

TEMPORAL LOGIC;

EID: 84958084860     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/331119.331415     Document Type: Conference Paper

References (18)

1. M. Abadi and Z. Manna. Temporal logic programming. Journal of Symbolic Computation, 8:277-295, 1989.
2. E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specification. ACM Trans. Prog. Lang. Syst., 8:244-263, 1986.
3. D. M. Gabbay and P. McBrien. Temporal logic & historical databases. In Proc. of the 17th Very Large Data Bases Conference, pages 423430, Morgan Kauffman, 1991.
4. C.A.R. Hoare. Communicating sequential processes. C ACM 21, pages 666-677,1978.
5. C. Liu and M. A. Orgun. Chronolog as a simulation language. In Proc. of IJCAI-95 Workshop on Executable Temporal Logics, pages 109-119, Montreal, Canada, August 1921, 1995.
6. C. Liu and M. A. Orgun. Dealing with multiple granularity of time in temporal logic programming. Technical Report TR-95-04, Department of Computing, Macquarie University, NSW 2109, Australia, October 1995.
7. C. Liu, M. A. Orgun, and K. Zhang. A framework for exploiting parallelism in Chronolog. In Proc. of The 1st IEEE International Conference on Algorithms and Architectures for Parallel Processing, pages 163-172, Brisbane, Australia, 19-21 April 1995. IEEE Press.
8. J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1984.
9. Z. Manna and A. Pnueli. Verification of concurrent programs: the temporal framework. In Boyer and Moore, editors, Correctness Problem in Computer Science, pages 215-273. Academic Press, 1981.
10. B. Moszkowski. Executing Temporal Logic Programs. Cambridge University Press, 1986.
11. E. Mota, M. Haggith, A. Smaill, and D. Robertson. Time granularity in simulation models of ecological systems. In Proc. of IJCAI-95 Workshop on Executable Temporal Logics, pages 77-94, Montreal, Canada, August19-21 1995.
12. T. I. Oren. Bases for advanced simulation: Paradigms for the future. In T.I. Ören M.S. Elas and B.P. Zeigler, editors, Modelling and Simulation Methodology, pages 29-43, 1989. North-Holland.
13. M. A. Orgun and W. Ma. An overview of temporal and modal logic programming. In Proc. ofICTL'94: First International Conference on Temporal Logic, pages 445-479, Bonn, Germany, July 11-15 1994. Springer-Verlag.
14. M. A. Orgun and W. W. Wadge. Theory and practice of temporal logic programming. In L. Farinas del Cerro and M. Penttonen, editors, Intensional Logics for Programming, pages 23-50. Oxford University Press, 1992.
15. A. Pnueli. Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends. In Lecture Notes in Computer Science, 224, pages 510-584. Springer, 1986.
16. F. Sadri. Three approaches to temporal reasoning. In A. Galton, editor, Temporal Logics and Their Applications, pages 121-168. Academic Press, 1987.
17. A. Tuzhilin. SimTL: A simulation language based on temporal logic. TRANSACTIONS of The Society of Computer Simulation, 9(2) :86-99, 1992.
18. G. Wiederhold, S. Jajoida, and W. Litwin. Dealing with granularity of time in temporal databases. In Proc. of the Third International Conference CAiSE'91, pages 124-140, Trond-heim, Norway, May 13-15 1991. Springer-Verlag.