Axiomatizing Prefix Iteration with Silent Steps

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

Research output: Book/ReportBook

Original languageEnglish
Place of PublicationÅrhus : Daimi
PublisherDepartment of Computer Science, Aarhus University
Number of pages25
Publication statusPublished - 1995
SeriesBRICS Report Series
NumberRS-95-56
ISSN0909-0878

Cite this

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, No. 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 p. (BRICS Report Series; No. 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, no. 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 p. (BRICS Report Series; No. RS-95-56).

Research output: Book/ReportBook

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 p. (BRICS Report Series; No. RS-95-56).