A Characterization of Finitary Bisimulation

Luca Aceto, Anna Ingolfsdottir

Research output: Book/ReportBookResearch

3 Citations (Scopus)
Original languageEnglish
Place of PublicationÅrhus
PublisherDepartment of Computer Science, Aarhus University
Publication statusPublished - 1997
SeriesBRICS Report Series
NumberRS-97-26
ISSN0909-0878

Cite this

Aceto, L., & Ingolfsdottir, A. (1997). A Characterization of Finitary Bisimulation. Århus: Department of Computer Science, Aarhus University. BRICS Report Series, No. RS-97-26
Aceto, Luca ; Ingolfsdottir, Anna. / A Characterization of Finitary Bisimulation. Århus : Department of Computer Science, Aarhus University, 1997. (BRICS Report Series; No. RS-97-26).
@book{fd652500003211dab4d5000ea68e967b,
title = "A Characterization of Finitary Bisimulation",
author = "Luca Aceto and Anna Ingolfsdottir",
year = "1997",
language = "English",
series = "BRICS Report Series",
number = "RS-97-26",
publisher = "Department of Computer Science, Aarhus University",
address = "Denmark",

}

Aceto, L & Ingolfsdottir, A 1997, A Characterization of Finitary Bisimulation. BRICS Report Series, no. RS-97-26, Department of Computer Science, Aarhus University, Århus.

A Characterization of Finitary Bisimulation. / Aceto, Luca; Ingolfsdottir, Anna.

Århus : Department of Computer Science, Aarhus University, 1997. (BRICS Report Series; No. RS-97-26).

Research output: Book/ReportBookResearch

TY - BOOK

T1 - A Characterization of Finitary Bisimulation

AU - Aceto, Luca

AU - Ingolfsdottir, Anna

PY - 1997

Y1 - 1997

M3 - Book

T3 - BRICS Report Series

BT - A Characterization of Finitary Bisimulation

PB - Department of Computer Science, Aarhus University

CY - Århus

ER -

Aceto L, Ingolfsdottir A. A Characterization of Finitary Bisimulation. Århus: Department of Computer Science, Aarhus University, 1997. (BRICS Report Series; No. RS-97-26).