Fischer's Protocol in Timed Process Algebra (1994)

Cached

Download Links

by Jan Joris Vereijken
Citations:7 - 2 self

Documents Related by Co-Citation

155 Termination in Timed Process Algebra – J.C.M. Baeten, M.A. Reniers - 2000
109 A Congruence Theorem for Structured Operational Semantics With Predicates – J.C.M. Baeten, C. Verhoef - 1993
5 The ABP and CABP – a comparison of performances in real time process algebra – J A Hillebrand - 1994
203 Process Algebra – J C M Baeten, W P Weijland - 1990
108 The Algebra of Timed Processes ATP: Theory and Application – Xavier Nicollin , Joseph Sifakis - 1994
36 A general conservative extension theorem in process algebra – Pedro R. D’Argenio, Chris Verhoef - 1994
19 Variable binding operators in transition system specifications – C. A. Middelburg - 2001
27 Process algebra with timing: real time and discrete time – J. C. M. Baeten, C. A. Middelburg - 2001
364 Process algebra for synchronous communication – J. A. Bergstra, J. W. Klop - 1984
1975 A theory of timed automata – Rajeev Alur - 1999
2 Completeness in real-time process algebra – A S Klusener - 1991
3 The algebra of recursively de processes and the algebra of regular processes – J A Bergstra, J W Klop - 1984
13 Discrete time process algebra: Absolute time, relative time and parametric time – J C M Baeten, J A Bergstra - 1997
26 An interleaving model for real-time systems – L Chen - 1992
61 The Algebra of Recursively Defined Processes and the Algebra of Regular Processes – J A Bergstra, J W Klop - 1984
3219 Communication and Concurrency – R Milner - 1990
1330 A Calculus of Communicating Systems – R Milner - 1980
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
62 Real-time behaviour of asynchronous agents – W Yi - 1990