Termination in Timed Process Algebra (2000)

Cached

Download Links

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

Documents Related by Co-Citation

173 A Temporal Calculus of Communicating Systems – I Moller, C Tofts - 1990
3242 Communication and Concurrency – R Milner - 1989
3451 Communicating Sequential Processes – C. A. R. Hoare - 1985
112 A Process Algebra for Timed Systems – M Hennessy, T - 1991
1297 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
662 Concurrency and automata on infinite sequences – D Park - 1981
156 A Timed Model for Communicating Sequential Processes – G. M. Reed, A. W. Roscoe - 1988
106 The Algebra of Timed Processes ATP: Theory and Application – Xavier Nicollin , Joseph Sifakis - 1994
1351 A calculus of communicating systems – R Milner - 1980