@inproceedings{0f8bdbc0003d11dab4d5000ea68e967b,
title = "An Equational Axiomatization of Observation Congruence for Prefix Iteration",
author = "Luca Aceto and Anna Ingolfsdottir",
note = "ISSN ; -; An Equational Axiomatization of Observation Congruence for Prefix Iteration ; Conference date: 19-05-2010",
year = "1996",
language = "English",
isbn = "354061463x",
pages = "195--209",
editor = "{Wirsing, M. : Nivat, M. (eds.)}",
booktitle = "Proceedings of the Fifth International Conference on Algebraic Methodology and Software Technology, Munich, Germany, 1996",
publisher = "IEEE Computer Society Press",
address = "United States",
}