Termination in Timed Process Algebra (2000)

Cached

Download Links

by J.C.M. Baeten , M.A. Reniers
Venue:Formal Aspects of Computing
Citations:155 - 25 self

Documents Related by Co-Citation

173 A temporal calculus of communicating systems – F Moller, C Tofts - 1990
3219 Communication and Concurrency – R Milner - 1990
108 The Algebra of Timed Processes ATP: Theory and Application – Xavier Nicollin , Joseph Sifakis - 1994
111 A process algebra of timed systems – M Hennessy, T Regan - 1995
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
155 A Timed Model for Communicating Sequential Processes – G. M. Reed, A. W. Roscoe - 1988
29 ATP: an algebra for timed processes – X Nicollin, J-L Richier, J Sifakis, J Voiron - 1990
1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
65 Ccs + time = an interleaving model for real time systems – Wang Yi
62 Real-time behaviour of asynchronous agents – W Yi - 1990
658 Concurrency and automata on infinite sequences – D Park - 1981
394 Algebraic Theory of Processes – M Hennessy - 1988
1330 A Calculus of Communicating Systems – R Milner - 1980
597 A Compositional Approach to Performance Modelling – Jane Hillston - 1996
140 An overview and synthesis on timed process algebras – Xavier Nicollin, Joseph Sifakis - 1991
91 The Esterel synchronous programming language and its mathematical semantics – G Berry, L Cosserat - 1985
80 From ATP to Timed Graphs and Hybrid Systems – Xavier Nicollin , Joseph Sifakis, Sergio Yovine - 1993
363 D: Model-checking for real-time systems – R Alur, C Courcoubetis, Dill
472 Symbolic Model Checking for Real-time Systems – Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine - 1992