Sciweavers

79
Voted
SFM
2004
Springer
120views Formal Methods» more  SFM 2004»
15 years 2 months ago
Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing)
We treat theory and application of timed process algebra. We focus on a variant that uses explicit termination and action prefixing. This variant has some advantages over other va...
Jos C. M. Baeten, Michel A. Reniers