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

Active Bibliography

5 Reniers. Timed process algebra (with a focus on explicit termination and relative-timing – J. C. M. Baeten, M. A. Reniers - 2004
27 Process algebra for hybrid systems – J. A. Bergstra, C. A. Middelburg - 2003
3 Discrete-Time Process Algebra with Empty Process – J.C.M. Baeten, J. J. Vereijken - 1997
1 ITU-T Recommendation G.107 : The E-Model, a computational model for use in transmission planning – J. A. Bergstra, C. A. Middelburg - 2003
27 Process algebra with timing: real time and discrete time – J. C. M. Baeten, C. A. Middelburg - 2001
4 Timing the untimed: Terminating successfully while being conservative – J. C. M. Baeten, M. R. Mousavi, M. A. Reniers - 2005
3 Partial Order Models for Quantitative Extensions of LOTOS – Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella - 1997
95 A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time – Marco Bernardo, Roberto Gorrieri - 1998
5 An Axiomatization for Regular Processes in Timed Branching Bisimulation – Wan Fokkink - 1998
Timed Frame Models for Discrete Time Process Algebras – Bergstra Middelburg Warinschi - 1997
2 Timed Frame Models for Discrete Time Process Algebras – J.A. Bergstra, C.A. Middelburg, B. Warinschi - 1997
16 Discrete Time Process Algebra with Silent Step – J.C.M. Baeten, J.A. Bergstra, M.A. Reniers - 2000
12 SOS formats and meta-theory: 20 years after – Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote - 2007
56 A brief history of process algebra – J. C. M. Baeten - 2004
36 A general conservative extension theorem in process algebra – Pedro R. D’Argenio, Chris Verhoef - 1994
4 Process algebra with nonstandard timing – C. A. Middelburg - 2001
1 A Faster-than Relation for Asynchronous Processes – Gerald Lüttgen, Walter Vogler
State-Transition Based Techniques for Specifying Real-Time Systems: A Review – A. Sowmya, J. Zic
45 A Process Algebra of Communicating Shared Resources with Dense Time and Priorities – Patrice Bremond-Gregoire , Insup Lee - 1997