Axiomatizing Prefix Iteration with Silent Steps

Luca Aceto, W. J. Fokkink, R. J. van Glabeek, Anna Ingolfsdottir

Publikation: Bog/antologi/afhandling/rapportBogForskning

OriginalsprogEngelsk
Udgivelses stedÅrhus : Daimi
ForlagDepartment of Computer Science, Aarhus University
Antal sider25
StatusUdgivet - 1995
NavnBRICS Report Series
NummerRS-95-56
ISSN0909-0878

Citer dette

Aceto, L., Fokkink, W. J., Glabeek, R. J. V., & Ingolfsdottir, A. (1995). Axiomatizing Prefix Iteration with Silent Steps. Århus : Daimi: Department of Computer Science, Aarhus University. BRICS Report Series, Nr. RS-95-56
Aceto, Luca ; Fokkink, W. J. ; Glabeek, R. J. van ; Ingolfsdottir, Anna. / Axiomatizing Prefix Iteration with Silent Steps. Århus : Daimi : Department of Computer Science, Aarhus University, 1995. 25 s. (BRICS Report Series; Nr. RS-95-56).
@book{50565c20003311dab4d5000ea68e967b,
title = "Axiomatizing Prefix Iteration with Silent Steps",
author = "Luca Aceto and Fokkink, {W. J.} and Glabeek, {R. J. van} and Anna Ingolfsdottir",
year = "1995",
language = "English",
series = "BRICS Report Series",
number = "RS-95-56",
publisher = "Department of Computer Science, Aarhus University",
address = "Denmark",

}

Aceto, L, Fokkink, WJ, Glabeek, RJV & Ingolfsdottir, A 1995, Axiomatizing Prefix Iteration with Silent Steps. BRICS Report Series, nr. RS-95-56, Department of Computer Science, Aarhus University, Århus : Daimi.

Axiomatizing Prefix Iteration with Silent Steps. / Aceto, Luca; Fokkink, W. J.; Glabeek, R. J. van; Ingolfsdottir, Anna.

Århus : Daimi : Department of Computer Science, Aarhus University, 1995. 25 s. (BRICS Report Series; Nr. RS-95-56).

Publikation: Bog/antologi/afhandling/rapportBogForskning

TY - BOOK

T1 - Axiomatizing Prefix Iteration with Silent Steps

AU - Aceto, Luca

AU - Fokkink, W. J.

AU - Glabeek, R. J. van

AU - Ingolfsdottir, Anna

PY - 1995

Y1 - 1995

M3 - Book

T3 - BRICS Report Series

BT - Axiomatizing Prefix Iteration with Silent Steps

PB - Department of Computer Science, Aarhus University

CY - Århus : Daimi

ER -

Aceto L, Fokkink WJ, Glabeek RJV, Ingolfsdottir A. Axiomatizing Prefix Iteration with Silent Steps. Århus : Daimi: Department of Computer Science, Aarhus University, 1995. 25 s. (BRICS Report Series; Nr. RS-95-56).