Weak bisimulation for action-type coalgebras

Translated title of the contribution: Weak bisimulation for action-type coalgebras

Ana Sokolova, Erik de Vink, Harald Woracek

Research output: Other contribution › Research › peer-review

Translated title of the contributionWeak bisimulation for action-type coalgebras
Original languageGerman
Number of pages43
VolumeTechnical report CSR-04-16, TU Eindhoven
Publication statusPublished - 2004

Fields of Science and Technology Classification 2012

  • 101 Mathematics
  • 102 Computer Sciences

Cite this