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

Luca Aceto, A. S. A. Jeffrey

Publikation: Bog/antologi/afhandling/rapportBogForskning

OriginalsprogEngelsk
Udgivelses stedÅrhus : Daimi
ForlagDepartment of Computer Science, Aarhus University
Antal sider18
StatusUdgivet - 1994
NavnBRICS Report Series
NummerRS-94-43
ISSN0909-0878

Citer dette

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, Nr. 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 s. (BRICS Report Series; Nr. 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, nr. 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 s. (BRICS Report Series; Nr. RS-94-43).

Publikation: Bog/antologi/afhandling/rapportBogForskning

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 s. (BRICS Report Series; Nr. RS-94-43).