Basic process algebra with iteration: completeness of its equational axioms

W.J. Fokkink, H. Zantema

Research output: Book/Report › Report › Academic

Keywords

@book{0c39a54e82e04dee8b3ef4a33ada18f5,

title = "Basic process algebra with iteration: completeness of its equational axioms",

keywords = "Wiskunde en Informatica (WIIN)",

author = "W.J. Fokkink and H. Zantema",

year = "1993",

language = "Undefined/Unknown",

isbn = "0924-3275",

volume = "93-40",

publisher = "Unknown Publisher",

edition = "RUU-CS",

}