Quotienting the delay monad by weak bisimilarity

James Chapman, Tarmo Uustalu, Niccolò Veltri

Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

Fingeraftryk

Dyk ned i forskningsemnerne om 'Quotienting the delay monad by weak bisimilarity'. Sammen danner de et unikt fingeraftryk.

Matematik

Teknik og materialevidenskab