Topological (bi-)simulation

P.J.L. Cuijpers; M.A. Reniers

doi:10.1016/j.entcs.2004.08.017

Topological (bi-)simulation

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

Original language	English
Title of host publication	Proceedings Fifth Workshop on Geometric and Topological Methods in Concurrency (GETCO 2003, Marseille, France, September 6, 2003), satellite to CONCUR 2003
Editors	T. Hildebrandt, xx et al.
Pages	49-64
DOIs	https://doi.org/10.1016/j.entcs.2004.08.017
Publication status	Published - 2004

Publication series

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

Access to Document

10.1016/j.entcs.2004.08.017

Cite this

Cuijpers, P. J. L., & Reniers, M. A. (2004). Topological (bi-)simulation. In T. Hildebrandt, & X. et al. (Eds.), Proceedings Fifth Workshop on Geometric and Topological Methods in Concurrency (GETCO 2003, Marseille, France, September 6, 2003), satellite to CONCUR 2003 (pp. 49-64). (Electronic Notes in Theoretical Computer Science; Vol. 100). https://doi.org/10.1016/j.entcs.2004.08.017

@inproceedings{bde30aba9b5044188497bdb8105f9e3f,

title = "Topological (bi-)simulation",

author = "P.J.L. Cuijpers and M.A. Reniers",

year = "2004",

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

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

pages = "49--64",

editor = "T. Hildebrandt and {et al.}, xx",

booktitle = "Proceedings Fifth Workshop on Geometric and Topological Methods in Concurrency (GETCO 2003, Marseille, France, September 6, 2003), satellite to CONCUR 2003",

}

Topological (bi-)simulation. / Cuijpers, P.J.L.; Reniers, M.A.
Proceedings Fifth Workshop on Geometric and Topological Methods in Concurrency (GETCO 2003, Marseille, France, September 6, 2003), satellite to CONCUR 2003. ed. / T. Hildebrandt; xx et al. 2004. p. 49-64 (Electronic Notes in Theoretical Computer Science; Vol. 100).

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

TY - GEN

T1 - Topological (bi-)simulation

AU - Cuijpers, P.J.L.

AU - Reniers, M.A.

PY - 2004

Y1 - 2004

U2 - 10.1016/j.entcs.2004.08.017

DO - 10.1016/j.entcs.2004.08.017

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 49

EP - 64

BT - Proceedings Fifth Workshop on Geometric and Topological Methods in Concurrency (GETCO 2003, Marseille, France, September 6, 2003), satellite to CONCUR 2003

A2 - Hildebrandt, T.

A2 - et al., xx

ER -