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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Originele taal-2	Engels
Titel	Proceedings 7th International Workshop on Expressiveness in Concurrency (EXPRESS'00, State College PA, USA, August 21, 2000)
Redacteuren	L. Aceto, B. Victor
DOI's	https://doi.org/10.1016/S1571-0661(05)82501-0
Status	Gepubliceerd - 2003

Publicatie series

Naam	Electronic Notes in Theoretical Computer Science
Volume	39(1)
ISSN van geprinte versie	1571-0061

Toegang tot document

10.1016/S1571-0661(05)82501-0

Citeer dit

Baeten, J. C. M. (2003). Embedding untimed into timed process algebra : the case for explicit termination. In L. Aceto, & B. Victor (editors), 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). uitgave / L. Aceto; B. Victor. 2003. (Electronic Notes in Theoretical Computer Science; Vol. 39(1)).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › 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 -