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

172 A temporal calculus of communicating systems – F Moller, C M N Tofts - 1990
3218 Communication and Concurrency – R Milner - 1989
111 A Process Algebra for Timed Systems – M Hennessy, T Regan - 1995
3409 Communicating Sequential Processes – C. A. R. Hoare - 1985
105 The Algebra of Timed Processes ATP: Theory and Application – Xavier Nicollin , Joseph Sifakis - 1994
156 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
1289 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
67 Ccs + time = an interleaving model for real time systems – Wang Yi - 1991
61 Real-time behaviour of asynchronous agents – W Yi - 1990
655 Concurrency and automata on infinite sequences – D Park - 1981
393 An Algebraic Theory of Processes – M Hennessy - 1988
1332 A Calculus of Communicating Systems – R Milner - 1980
602 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
360 Model-checking for realtime systems – Rajeev Alur, Costas Courcoubetis, David Dill - 1990
471 Symbolic Model Checking for Real-time Systems – Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine - 1992