A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours

Luca Aceto, A. S. A. Jeffrey

Research output: Book/ReportBookResearch

Original languageEnglish
Place of PublicationÅrhus : Daimi
PublisherDepartment of Computer Science, Aarhus University
Number of pages18
Publication statusPublished - 1994
SeriesBRICS Report Series
NumberRS-94-43
ISSN0909-0878

Cite this

Aceto, L., & Jeffrey, A. S. A. (1994). A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours. Århus : Daimi: Department of Computer Science, Aarhus University. BRICS Report Series, No. RS-94-43
Aceto, Luca ; Jeffrey, A. S. A. / A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours. Århus : Daimi : Department of Computer Science, Aarhus University, 1994. 18 p. (BRICS Report Series; No. RS-94-43).
@book{fe976370003211dab4d5000ea68e967b,
title = "A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours",
author = "Luca Aceto and Jeffrey, {A. S. A.}",
year = "1994",
language = "English",
series = "BRICS Report Series",
number = "RS-94-43",
publisher = "Department of Computer Science, Aarhus University",
address = "Denmark",

}

Aceto, L & Jeffrey, ASA 1994, A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours. BRICS Report Series, no. RS-94-43, Department of Computer Science, Aarhus University, Århus : Daimi.

A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours. / Aceto, Luca; Jeffrey, A. S. A.

Århus : Daimi : Department of Computer Science, Aarhus University, 1994. 18 p. (BRICS Report Series; No. RS-94-43).

Research output: Book/ReportBookResearch

TY - BOOK

T1 - A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours

AU - Aceto, Luca

AU - Jeffrey, A. S. A.

PY - 1994

Y1 - 1994

M3 - Book

T3 - BRICS Report Series

BT - A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours

PB - Department of Computer Science, Aarhus University

CY - Århus : Daimi

ER -

Aceto L, Jeffrey ASA. A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours. Århus : Daimi: Department of Computer Science, Aarhus University, 1994. 18 p. (BRICS Report Series; No. RS-94-43).