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

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

Original language	English
Title of host publication	Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science (CMCS 2006, Vienna, Austria, March 25-27, 2006)
Editors	N. Ghani, J. Power
Pages	47-65
DOIs	https://doi.org/10.1016/j.entcs.2006.06.004
Publication status	Published - 2006

Publication series

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

Access to Document

10.1016/j.entcs.2006.06.004

Cite this

@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). ed. / N. Ghani; J. Power. 2006. p. 47-65 (Electronic Notes in Theoretical Computer Science; Vol. 164(1)).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › 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 -