On the Finitary Bisimulation

Luca Aceto, Anna Ingolfsdottir

Publikation: Bog/antologi/afhandling/rapportBogForskning

OriginalsprogEngelsk
Udgivelses stedÅrhus
ForlagDepartment of Computer Science, Aarhus University
Antal sider29
StatusUdgivet - 1995
NavnBRICS Report Series
NummerRS-95-59
ISSN0909-0878

Citationsformater

Aceto, L., & Ingolfsdottir, A. (1995). On the Finitary Bisimulation. Department of Computer Science, Aarhus University. BRICS Report Series, Nr. RS-95-59