Time-Abstracted Bisimulation: Implicit Specifications and Decidability

Information and Computation

Volumn 134, Issue 2, 1997, Pages 75-101

  Larsen, Kim G ^a   Wang, Yi ^b  

^a AALBORG UNIVERSITY   (Denmark)

^b UPPSALA UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0006476072     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1006/inco.1997.2623     Document Type: Article

References (25)

1. Alur, R., Courcoubetis, C., and Dill, D. (1993), Model-checking in dense real time, Inform. and Comput. 104, 2-34.
2. Alur, R., Courcoubetis, C., Halbwachs, N., Dill, D., and Wong-Toi, H. (1992), Minimization of timed transition systems, in "Proceedings of CONCUR92, Lecture Notes in Computer Science, Vol. 630, Springer-Verlag, Berlin/New York.
3. Alur, R., and Dill, D. (1994), A theory of timed automata, Theoret. Comput. Sci. 126, 183-235.
4. Baeten, J. C. M., and Bergstra, J. A. (1989), "Real Time Process Algebra," Technical Report P8916, University of Amsterdam.
5. Chen, L. (1991), "An Interleaving Model for Real-Time Systems." Technical Report, LFCS, University of Edinburgh, Scotland.
6. Cleaveland, R., Parrow, J., and Steffen, B. (1989), "The Concurrency Workbench" Technical Report, LFCS, University of Edinburgh, Scotland.
7. Davis, J., and Schneider, S. (1989) "An Introduction to Timed CSP," Technical Report PRG-75, Oxford University Computing Laboratory.
8. Fokkink, W. J., and Klusener, S. (1991), "Real Time Algebra with Prefixed Integration," Technical Report, CWI, Amsterdam.
9. Godskesen, J. C. (1994), "Timed Modal Specifications - A Theory for Verification of Real-Time Systems," Ph.D. Thesis, Department of Mathematics and Computer Science, Aalborg University.
10. Holmer, U., Larsen, K. G., and Wang, Y. (1991), Deciding properties of regular timed processes, in "Proceedings of CAV91," Lecture Notes in Computer Science, Vol. 575, Springer-Verlag, Berlin/New York.
11. Henzinger, T., Nicollin, X., Sifakis, J., and Yovine, S. (1994), Symbolic model checking for real-time systems, Inform. and Comput. 111, 193-244.
12. Hoare, C. A. R. (1985), "Communicating Sequential Processes," Prentice-Hall International, Englewood Cliffs, NJ.
13. Hennessy, M., and Regan, T. (1991), "A Process Algebra for Timed Systems," Technical Report 5/91, University of Sussex.
14. Jeffrey, A. (1991), A linear time process algebra, in "Proceedings of CAV91," Lecture Notes in Computer Science, Vol. 575, Springer-Verlag, Berlin/New York.
15. Larsen, K. G., Godskesen, J. C., and Zeeberg, M. (1989), "Tav - Tools for Automatic Verification - Users Manual," Technical Report R 89-19, Department of Mathematics and Computer Science, Aalborg University.
16. Kanellakis, P. C., and Smolka, S. A. (1990), CCS expressions finite state processes, and three problems of equivalence, Inform. and Control 86.
17. Milner, R. (1989), "Communication and Concurrency," Series in Computer Science, Prentice-Hall International, Englewood Cliffs, NJ.
18. Moller, F., and Tofts, C. (1990), A temporal calculus of communicating systems, in "Proceedings of CONCUR90," Lecture Notes in Computer Science, Vol. 458. Springer-Verlag, Berlin/New York.
19. Nicollin, X., Richier, J. L., Sifakis, J., and Yovine, S. (1990), ATP: An algebra for timed processes, in "Proceedings of the IFIP TC 2 Working Conference on Programming Concepts and Methods, Sea of Gallilee, Israel, April 1990."
20. Nicollin, X., Sifakis, J., and Yovine, S. (1993), From ATP to timed graphs and hybrid systems, Acta Informat. 30, 181-202.
21. Reed, G. M., and Roscoe, A. W. (1986), "A Timed Model for Communicating Sequential Processes," Lecture Notes in Computer Science, Vol. 226, Springer-Verlag, Berlin/ New York.
22. Čerāns, K. (1992), Decidability of bisimulation equivalences for processes with parallel timers, in "Proceedings of CAV92," Lecture Notes in Computer Science, Vol. 663, Springer-Verlag, Berlin/New York.
23. Wang, Y. (1990), Real-time behaviour of asynchronous agents, in "Proceedings of CONCUR90," Lecture Notes in Computer Science, Vol. 458, Springer-Verlag, Berlin/ New York.
24. Wang, Y. (1991), "A Calculus of Real Time Systems," Ph.D. Thesis, Chalmers University of Technology, Göteborg, Sweden.
25. Wang, Y. (1991), CCS + time = an interleaving model for real-time systems, in "Proceedings of ICALP91," Lecture Notes in Computer Science, Vol. 510, Springer-Verlag, Berlin/New York.