Generic trace theory

I. Hasuo; B.P.F. Jacobs; A. Sokolova

doi:10.1016/j.entcs.2006.06.004

Generic trace theory

I. Hasuo, B.P.F. Jacobs, A. Sokolova

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

Originele taal-2	Engels
Titel	Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science (CMCS 2006, Vienna, Austria, March 25-27, 2006)
Redacteuren	N. Ghani, J. Power
Pagina's	47-65
DOI's	https://doi.org/10.1016/j.entcs.2006.06.004
Status	Gepubliceerd - 2006

Publicatie series

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

Toegang tot document

10.1016/j.entcs.2006.06.004

Citeer dit

@inproceedings{d04739f598b449f9bffece4974683a9e,

title = "Generic trace theory",

author = "I. Hasuo and B.P.F. Jacobs and A. Sokolova",

year = "2006",

doi = "10.1016/j.entcs.2006.06.004",

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

pages = "47--65",

editor = "N. Ghani and J. Power",

booktitle = "Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science (CMCS 2006, Vienna, Austria, March 25-27, 2006)",

}

Generic trace theory. / Hasuo, I.; Jacobs, B.P.F.; Sokolova, A.
Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science (CMCS 2006, Vienna, Austria, March 25-27, 2006). redactie / N. Ghani; J. Power. 2006. blz. 47-65 (Electronic Notes in Theoretical Computer Science; Vol. 164(1)).

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

TY - GEN

T1 - Generic trace theory

AU - Hasuo, I.

AU - Jacobs, B.P.F.

AU - Sokolova, A.

PY - 2006

Y1 - 2006

U2 - 10.1016/j.entcs.2006.06.004

DO - 10.1016/j.entcs.2006.06.004

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 47

EP - 65

BT - Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science (CMCS 2006, Vienna, Austria, March 25-27, 2006)

A2 - Ghani, N.

A2 - Power, J.

ER -