Time abstraction in timed μCRL à la regions

20th International Parallel and Distributed Processing Symposium, IPDPS 2006

Volumn 2006, Issue , 2006, Pages

  Groote, Jan Friso ^a   Reniers, Michel A ^a   Usenko, Yaroslav S ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33847116882     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IPDPS.2006.1639423     Document Type: Conference Paper

References (19)

1. R. Alur. Timed automata. In Proc. CAV'99, LNCS 1633, pages 8-22, 1999.
2. J. C. M. Baeten and C. A. Middelburg. Process Algebra with Timing. Monographs in TCS. Springer, 2002.
3. J. C. M. Baeten and W. P. Weijland. Process Algebra. Cambridge Tracts in TCS 18. Cambridge University Press, 1990.
4. J. Bengtsson and W. Yi. Timed automata: Semantics, algorithms and tools. Technical Report 316, UNU-IIST, P.O.Box 3058, Macau, September 2004.
5. J. A. Bergstra, J. Heering, and P. Klint, editors. Algebraic Specification. ACM Press, ACM Press Frontier Series, 1989.
6. J. A. Bergstra and J. W. Klop. Process algebra for synchronous communication. Information and Computation, 60(1/3):109-137, 1984.
7. S. Blom, W. J. Fokkink, J. F. Groote, I. A. v. Langevelde, B. Lisser, and J. C. v. d. Pol. μCRL: A toolset for analysing algebraic specifications. In G. Berry, H. Comon, and A. Finkel, editors, Proc CAV'01, volume 2102 of LNCS, pages 250-254. Springer, 2001.
8. S. N. Burris and H. P. Sankappanavar. A Course in Universal Algebra. Number 78 in Graduate Texts in Mathematics. Springer-Verlag, 1981.
9. J. F. Groote. The syntax and semantics of timed μCRL. Report SEN-R9709, CWI, Amsterdam, 1997.
10. J. F. Groote and B. Lisser. Computer assisted manipulation of algebraic process specifications. SIGPLAN Notices, 37(12):98-107, 2002.
11. J. F. Groote and A. Ponse. The syntax and semantics of μCRL. In A. Ponse, C. Verhoef, and S. F. M. v. Vlijmen, editors, Algebra of Communicating Processes 1994, Workshop in Computing, pages 26-62. Springer, 1995.
12. J. F. Groote and M. A. Reniers. Algebraic process verification. In J. A. Bergstra, A. Ponse, and S. A. Smolka, editors, Handbook of Process Algebra, chapter 17, pages 1151-1208. Elsevier, 2001.
13. J. F. Groote and J. J. v. Wamel. Algebraic data types and induction in μCRL. Report P9409, University of Amsterdam, Programming Research Group, 1994.
14. K. G. Larsen, P. Pettersson, and W. Yi. UPPAAL in a nutshell. International Journal on Software Tools for Technology Transfer, 1(1-2): 134-152, 1997.
15. M. A. Reniers, J. F. Groote, J. J. v. Wamel, and M. B. v. d. Zwaag. Completeness of Timed μCRL. Fund. Inf., 50(3-4):361-402, 2002.
16. M. A. Reniers and Y. S. Usenko. Analysis of timed processes with data using algebraic transformat ions. In Proc. TIME'05, pages 192-194. IEEE Computer Society, 2005.
17. Y. Sun. An algebraic generalization of Frege structures - binding algebras. TCS, 211:189-232, 1999.
18. Y. S. Usenko. Linearization in μCRL. PhD thesis, Eindhoven University of Technology, December 2002.
19. T. A. C. Willemse. Semantics and Verification in Process Algebras with Data and Timing. PhD thesis, Eindhoven University of Technology, 2003.