Weak bisimulation for action-type coalgebras (Extended abstract)

A. Sokolova, E.P. Vink, de, H. Woracek

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

10 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings 10th Conference on Category Theory and Computer Science (CTCS 2004, Copenhagen, Denmark, August 12-14, 2004)
Pages211-228
DOIs
Publication statusPublished - 2005

Publication series

NameElectronic Notes in Theoretical Computer Science
Volume122
ISSN (Print)1571-0061

Cite this