Compositional specification of timed systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1046, Issue , 1996, Pages 345-359

  Sifakis, Joseph ^a   Yovine, Sergio ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84948142906     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60922-9_29     Document Type: Conference Paper

References (11)

1. R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science. 126:183-235, 1994.
2. T. Bolognesi and F. Lucidi. Timed process algebras with urgent interactions and a unique powerful binary operator. In Proc. REX Workshop "Real-Time: Theory in Practice ". Lecture Notes in Computer Science 600, Springer-Verlag, 1991.
3. S.D. Brookes, C.A.R. Hoare. and A.W. Roscoe. A Theory of Communicating Sequential Processes. Journal of the ACM. 31 (3):560-599, 1984.
4. T.A. Henzinger. X. Nicollin. J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. Information and Computation. lll(2):193-244. 1994.
5. O. Maler and A. Pnueli. Timing analysis of asynchronous circuits using timed automata. In CHARME'95. pages 189-203. Lecture Notes in Computer Science 987. Springer-Verlag, 1995.
6. P. Merlin and D. J. Farber. Recoverability of communication protocols. IEEE Transactions on Communication. 24(9). September 1976.
7. R. Milner. Calculi for synchrony and asynchrony. Theoretical Computer Science. 25:267-310. 1983.
8. X. Nicollin and J. Sifakis. An overview and synthesis on timed process algebras. In Proc. 3rd \\ orkshop on Computer-Aided Verification, pages 376-398. Lecture Notes in Computer Science 575, Springer-Verlag.
9. X. Nicollin. J. Sifakis. and S. Yovine. Compiling real-time specifications into extended automata. IEEE TSE Special Issue on Real-Time Systems. 18(9):794-804. September 1992.
10. P. Sénac, M. Diaz, and P. de Saqui-Sannes. Toward a formal specification of multimedia scenarios. Annals of telecommunications. 49(5-6):297-314. 1994.
11. J. Sifakis. L se of petri nets for performance evaluation. In Measuring, modeling and evaluating computer systems, pages 75-93. North-Holland. 1977.