A companion to coalgebraic weak bisimulation for action-type systems

Ana Sokolova, Erik de Vink, Harald Woracek

Research output: Other contribution › Research › peer-review

Translated title of the contribution	A companion to coalgebraic weak bisimulation for action-type systems
Original language	English
Number of pages	64
Volume	Technical report CSR-07-12, TU Eindhoven
Publication status	Published - 2007

Fields of Science and Technology Classification 2012