Deciding Framed Bisimilarity

Research output: Book/ReportBookResearch

Original languageEnglish
Place of PublicationÅrhus
PublisherBRICS - Aarhus University
Publication statusPublished - 2002
SeriesBRICS Research Report
NumberRS-02-25
ISSN0909-3078

Cite this

Huttel, H. (2002). Deciding Framed Bisimilarity. BRICS - Aarhus University. BRICS Research Report, No. RS-02-25