Weak bisimulation for action-type coalgebras (Extended abstract)

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

11 Citations (Scopus)

Original language	English
Title of host publication	Proceedings 10th Conference on Category Theory and Computer Science (CTCS 2004, Copenhagen, Denmark, August 12-14, 2004)
Pages	211-228
DOIs	https://doi.org/10.1016/j.entcs.2004.06.050
Publication status	Published - 2005

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

Access to Document

@inproceedings{934ba89dd9ed46be87ec2d132b2cd087,

title = "Weak bisimulation for action-type coalgebras (Extended abstract)",

author = "A. Sokolova and \{Vink, de\}, E.P. and H. Woracek",

year = "2005",

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

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

pages = "211--228",

booktitle = "Proceedings 10th Conference on Category Theory and Computer Science (CTCS 2004, Copenhagen, Denmark, August 12-14, 2004)",

}

Weak bisimulation for action-type coalgebras (Extended abstract). / Sokolova, A.; Vink, de, E.P.; Woracek, H.
Proceedings 10th Conference on Category Theory and Computer Science (CTCS 2004, Copenhagen, Denmark, August 12-14, 2004). 2005. p. 211-228 (Electronic Notes in Theoretical Computer Science; Vol. 122).

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

TY - GEN

T1 - Weak bisimulation for action-type coalgebras (Extended abstract)

AU - Sokolova, A.

AU - Vink, de, E.P.

AU - Woracek, H.

PY - 2005

Y1 - 2005

U2 - 10.1016/j.entcs.2004.06.050

DO - 10.1016/j.entcs.2004.06.050

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 211

EP - 228

BT - Proceedings 10th Conference on Category Theory and Computer Science (CTCS 2004, Copenhagen, Denmark, August 12-14, 2004)

ER -