Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Jos C. M. Baeten. Embedding Untimed Into Timed Process Algebra: The Case For Explicit Termination. Mathematical Structures in Computer Science, 13(4):589-618, 2003.
Possibly Related PublicationsThe following publications are possibly variants of this publication: Embedding Untimed into Timed Process Algebra; the Case for Explicit TerminationJos C. M. Baeten. ENTCS, 39(1):3-20, 2000. [doi] Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing)Jos C. M. Baeten, Michel A. Reniers. sfm 2004: 59-97 [doi] Merge and Termination in Process AlgebraJos C. M. Baeten, Rob J. van Glabbeek. fsttcs 1987: 153-172 Timed Process AlgebrasJos C. M. Baeten. ENTCS, 52(3):207-208, 2001. [doi]
The following publications are possibly variants of this publication: