Embedding untimed into timed process algebra : the case for explicit termination

J.C.M. Baeten

doi:10.1016/S1571-0661(05)82501-0

Embedding untimed into timed process algebra : the case for explicit termination

J.C.M. Baeten

Formal System Analysis

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings 7th International Workshop on Expressiveness in Concurrency (EXPRESS'00, State College PA, USA, August 21, 2000)
Editors	L. Aceto, B. Victor
DOIs	https://doi.org/10.1016/S1571-0661(05)82501-0
Publication status	Published - 2003

Publication series

Name	Electronic Notes in Theoretical Computer Science
Volume	39(1)
ISSN (Print)	1571-0061

Access to Document

10.1016/S1571-0661(05)82501-0

Cite this

Baeten, J. C. M. (2003). Embedding untimed into timed process algebra : the case for explicit termination. In L. Aceto, & B. Victor (Eds.), Proceedings 7th International Workshop on Expressiveness in Concurrency (EXPRESS'00, State College PA, USA, August 21, 2000) (Electronic Notes in Theoretical Computer Science; Vol. 39(1)). https://doi.org/10.1016/S1571-0661(05)82501-0

@inproceedings{a1cb342d67cc4a00b41aa3b73d61f3cb,

title = "Embedding untimed into timed process algebra : the case for explicit termination",

author = "J.C.M. Baeten",

year = "2003",

doi = "10.1016/S1571-0661(05)82501-0",

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

editor = "L. Aceto and B. Victor",

booktitle = "Proceedings 7th International Workshop on Expressiveness in Concurrency (EXPRESS'00, State College PA, USA, August 21, 2000)",

}

Embedding untimed into timed process algebra : the case for explicit termination. / Baeten, J.C.M.
Proceedings 7th International Workshop on Expressiveness in Concurrency (EXPRESS'00, State College PA, USA, August 21, 2000). ed. / L. Aceto; B. Victor. 2003. (Electronic Notes in Theoretical Computer Science; Vol. 39(1)).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Embedding untimed into timed process algebra : the case for explicit termination

AU - Baeten, J.C.M.

PY - 2003

Y1 - 2003

U2 - 10.1016/S1571-0661(05)82501-0

DO - 10.1016/S1571-0661(05)82501-0

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

BT - Proceedings 7th International Workshop on Expressiveness in Concurrency (EXPRESS'00, State College PA, USA, August 21, 2000)

A2 - Aceto, L.

A2 - Victor, B.

ER -