Axiomatizing Prefix Iteration with Silent Steps

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

Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning

Originalsprog	Engelsk

Udgivelsessted	Århus : Daimi
Forlag	Department of Computer Science, Aarhus University
Antal sider	25
Status	Udgivet - 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",

}