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

Luca Aceto, A. S. A. Jeffrey

Research output: Book/Report › Book › Research

Original language	English

Place of Publication	Århus : Daimi
Publisher	Department of Computer Science, Aarhus University
Number of pages	18
Publication status	Published - 1994

AUB Link

@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",

}

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 -