Modeling Metric Time

1. H.A. Simon, The Science of the Artificial, The MIT Press, Cambridge, MA, 3^rd edition, 1996.

   Google Scholar 

2. E. Ashcroft and Z. Manna “Formalization of Properties of Parallel Programs”, Machine Intelligence, vol. 6, 1971, 17–41.

   MathSciNet  Google Scholar 

3. C. L. Liu and J.W. Layland “Scheduling Algorithms for Multi-Programming in a Hard Real-time Environment” Journal of the Association for Computing Machinery vol.20, no.1, 1973, 40–61.

   MathSciNet  Google Scholar 

4. W.J. Quirk and R. Gilbert “The Formal Specification of the Requirements of Complex Real/time System”, AERE, Harwell, UK, report no. 8602, 1977.

   Google Scholar 

5. A. Pnueli “The temporal logic of programs”, in Proceedings of the 18^th IEEE Annual Symposium on Foundations of Computer Science, 1977, 46–57.

   Google Scholar 

6. P. Wegner and D. Goldin “Co-inductive Models of Finite Computing Agents”, Electronic Notes in Theoretical Computer Science, vol. 19, 1999, www.elsevier.nl/locate/entcs.

   Google Scholar 

7. L. Motus, and M.G. Rodd Timing Analysis of Real-time Software, Pergamon/Elsevier, Oxford, UK, 1994

   Google Scholar 

8. D. Goldin, D. Keil, P. Wegner “An Interactive Viewpoint on the Role of UML”, in K. Siau and T. Halpin, (editors) Unified Modeling Language: Systems Analysis, Design and Development Issues, Idea Group Publishing, Hershey, PA, 2001.

   Google Scholar 

9. P. Wegner “Towards Empirical Computer Science”, Monist, 82(1), 58–108, 1998, www.cs.brown.edu/people/pw, 25.09.2002.

   Google Scholar 

10. L. Motus “Timing Problems and their Handling at System Integration”, in Tsafestas S.G. and Verbruggen H.B. (editors) Artificial Intelligence in Industrial Decision Making, Control, and Automation, Kluwer Academic Publishers, 67–87, 1995.

    Google Scholar 

11. I. Ulidowski and Y. Shoji (2001) “Timed Properties for Process Languages with Time”, Proceedings of the 5^th World Multi-conference on Systems, Cybernetics and Informatics, Orlando, USA, on CD, 6 pages

    Google Scholar 

12. L. Motus, M.G. Rodd, C. Neill “The Impact of Software Timing Correctness on Systems Safety”, Proceedings of the IFAC 2^nd Workshop on Safety and Reliability in Emerging Control Technologies, Florida, 1995, 193–201.

    Google Scholar 

13. K.G. Denbigh Three Concepts of Time, Springer Verlag, Berlin 180 pp., 1981

    Google Scholar 

14. J.F.A.K. van Benthem The Logic of Time, Kluwer Academic Publishers, Dordrecht, 1991

    Google Scholar 

15. Y. Shoham Reasoning about Change, MIT Press, Cambridge, MA, 1988

    Google Scholar 

16. E. Corsetti, E. Crivelli, D. Mandrioli, A. Montanari, A.C. Morzenti, P. San Pietro, and E. Ratto “Dealing with Different Time Scales in Formal Specification”, Proceedings of the 6^th International Workshop on Software Specification and Design, Como, 92–101, 1991.

    Google Scholar 

17. P. Wegner and D. Goldin “Interaction as a Framework for Modeling”, in Chen et alii (eds), Conceptual Modeling: Current Issues and Future Directions, Springer, Berlin, LNCS no. 1565, 1999.

    Google Scholar 

18. M. Meriste and L. Motus “On Models for Time-sensitive Interacting Computing”, International Conference on Computational Science, Lecture Notes in Computer Science, vol. 2329, Springer, Berlin, 156–165, (2002).

    Google Scholar 

Download references