Weak bisimulation for action-type coalgebras

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

Onderzoeksoutput: Boek/rapport › Rapport › Academic

115 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's43
StatusGepubliceerd - 2004

Publicatie series

NaamComputer science reports
Volume0416
ISSN van geprinte versie0926-4515

Toegang tot document

  • 200416Definitieve gepubliceerde versie, 360 KB

    Citeer dit