Behavioural equivalences for coalgebras with unobservable moves
- Tomasz Brengos*
- , Marino Miculan
- , Marco Peressotti
*Kontaktforfatter
- Warsaw University of Technology
- University of Udine
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review