Weighted branching systems: Behavioural equivalence, behavioural distance, and their logical characterisations

Mathias Claus Jensen*, Kim Guldstrand Larsen, Radu Mardare

*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

1 Citationer (Scopus)

Fingeraftryk

Dyk ned i forskningsemnerne om 'Weighted branching systems: Behavioural equivalence, behavioural distance, and their logical characterisations'. Sammen danner de et unikt fingeraftryk.

Mathematics

Computer Science