An Equational Axiomatization of Observation Congruence for Prefix Iteration

Luca Aceto, Anna Ingolfsdottir

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

10 Citationer (Scopus)
OriginalsprogEngelsk
TitelProceedings of the Fifth International Conference on Algebraic Methodology and Software Technology, Munich, Germany, 1996
RedaktørerWirsing, M. : Nivat, M. (eds.)
ForlagIEEE Computer Society Press
Publikationsdato1996
Sider195-209
ISBN (Trykt)354061463x
StatusUdgivet - 1996
BegivenhedAn Equational Axiomatization of Observation Congruence for Prefix Iteration -
Varighed: 19 maj 2010 → …

Konference

KonferenceAn Equational Axiomatization of Observation Congruence for Prefix Iteration
Periode19/05/2010 → …

Bibliografisk note

ISSN ; -

Citer dette

Aceto, L., & Ingolfsdottir, A. (1996). An Equational Axiomatization of Observation Congruence for Prefix Iteration. I Wirsing, M. : Nivat, M. (eds.) (red.), Proceedings of the Fifth International Conference on Algebraic Methodology and Software Technology, Munich, Germany, 1996 (s. 195-209). IEEE Computer Society Press.
Aceto, Luca ; Ingolfsdottir, Anna. / An Equational Axiomatization of Observation Congruence for Prefix Iteration. Proceedings of the Fifth International Conference on Algebraic Methodology and Software Technology, Munich, Germany, 1996. red. / Wirsing, M. : Nivat, M. (eds.). IEEE Computer Society Press, 1996. s. 195-209
@inproceedings{0f8bdbc0003d11dab4d5000ea68e967b,
title = "An Equational Axiomatization of Observation Congruence for Prefix Iteration",
author = "Luca Aceto and Anna Ingolfsdottir",
note = "ISSN ; -",
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",

}

Aceto, L & Ingolfsdottir, A 1996, An Equational Axiomatization of Observation Congruence for Prefix Iteration. i Wirsing, M. : Nivat, M. (eds.) (red.), Proceedings of the Fifth International Conference on Algebraic Methodology and Software Technology, Munich, Germany, 1996. IEEE Computer Society Press, s. 195-209, An Equational Axiomatization of Observation Congruence for Prefix Iteration, 19/05/2010.

An Equational Axiomatization of Observation Congruence for Prefix Iteration. / Aceto, Luca; Ingolfsdottir, Anna.

Proceedings of the Fifth International Conference on Algebraic Methodology and Software Technology, Munich, Germany, 1996. red. / Wirsing, M. : Nivat, M. (eds.). IEEE Computer Society Press, 1996. s. 195-209.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

TY - GEN

T1 - An Equational Axiomatization of Observation Congruence for Prefix Iteration

AU - Aceto, Luca

AU - Ingolfsdottir, Anna

N1 - ISSN ; -

PY - 1996

Y1 - 1996

M3 - Article in proceeding

SN - 354061463x

SP - 195

EP - 209

BT - Proceedings of the Fifth International Conference on Algebraic Methodology and Software Technology, Munich, Germany, 1996

A2 - Wirsing, M. : Nivat, M. (eds.), null

PB - IEEE Computer Society Press

ER -

Aceto L, Ingolfsdottir A. An Equational Axiomatization of Observation Congruence for Prefix Iteration. I Wirsing, M. : Nivat, M. (eds.), red., Proceedings of the Fifth International Conference on Algebraic Methodology and Software Technology, Munich, Germany, 1996. IEEE Computer Society Press. 1996. s. 195-209