A Complete Equational Axiomatization for Prefix Iteration with Silent Steps

Luca Aceto, Anna Ingolfsdottir

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

Originalsprog	Engelsk

Udgivelsessted	Århus : Daimi
Forlag	Department of Computer Science, Aarhus University
Antal sider	27
Status	Udgivet - 1995

AUB Link

@book{0016b070003311dab4d5000ea68e967b,

title = "A Complete Equational Axiomatization for Prefix Iteration with Silent Steps",

author = "Luca Aceto and Anna Ingolfsdottir",

year = "1995",

language = "English",

series = "BRICS Report Series",

number = "RS-95-5",

publisher = "Department of Computer Science, Aarhus University",

address = "Denmark",

}