Axiomatizing Prefix Iteration with Silent Steps

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

Research output: Book/Report › Book › Research

Original language	English

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

AUB Link

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

}