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 ; -

Citationsformater