Behavioural equivalences for coalgebras with unobservable moves

Tomasz Brengos*, Marino Miculan, Marco Peressotti

*Corresponding author for this work

Research output: Contribution to journalJournal articleResearchpeer-review

Fingerprint

Dive into the research topics of 'Behavioural equivalences for coalgebras with unobservable moves'. Together they form a unique fingerprint.

Mathematics

Computer Science