CPO Models for a Class of GSOS Languages

Luca Aceto, Anna Ingolfsdottir

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

3 Citationer (Scopus)
OriginalsprogEngelsk
TitelProceedings of the 6th International Joint Conference CAAP/FASE, TAPSOFT'95, Århus, Denmark, May 22-26, 1995 : Lecture Notes in Computer Science
RedaktørerMosses, Peter D. : Nielsen, Mogens : Schwartzbach, Michael I. (eds.)
ForlagIEEE Computer Society Press
Publikationsdato1995
Udgave915
Sider439-453
ISBN (Trykt)3540592938
StatusUdgivet - 1995
BegivenhedCPO Models for a Class of GSOS Languages -
Varighed: 19 maj 2010 → …

Konference

KonferenceCPO Models for a Class of GSOS Languages
Periode19/05/2010 → …

Bibliografisk note

ISSN ; -

Citer dette

Aceto, L., & Ingolfsdottir, A. (1995). CPO Models for a Class of GSOS Languages. I Mosses, Peter D. : Nielsen, Mogens : Schwartzbach, Michael I. (eds.) (red.), Proceedings of the 6th International Joint Conference CAAP/FASE, TAPSOFT'95, Århus, Denmark, May 22-26, 1995: Lecture Notes in Computer Science (915 udg., s. 439-453). IEEE Computer Society Press.
Aceto, Luca ; Ingolfsdottir, Anna. / CPO Models for a Class of GSOS Languages. Proceedings of the 6th International Joint Conference CAAP/FASE, TAPSOFT'95, Århus, Denmark, May 22-26, 1995: Lecture Notes in Computer Science. red. / Mosses, Peter D. : Nielsen, Mogens : Schwartzbach, Michael I. (eds.). 915. udg. IEEE Computer Society Press, 1995. s. 439-453
@inproceedings{7baad810003d11dab4d5000ea68e967b,
title = "CPO Models for a Class of GSOS Languages",
author = "Luca Aceto and Anna Ingolfsdottir",
note = "ISSN ; -",
year = "1995",
language = "English",
isbn = "3540592938",
pages = "439--453",
editor = "{Mosses, Peter D. : Nielsen, Mogens : Schwartzbach, Michael I. (eds.)}",
booktitle = "Proceedings of the 6th International Joint Conference CAAP/FASE, TAPSOFT'95, {\AA}rhus, Denmark, May 22-26, 1995",
publisher = "IEEE Computer Society Press",
address = "United States",
edition = "915",

}

Aceto, L & Ingolfsdottir, A 1995, CPO Models for a Class of GSOS Languages. i Mosses, Peter D. : Nielsen, Mogens : Schwartzbach, Michael I. (eds.) (red.), Proceedings of the 6th International Joint Conference CAAP/FASE, TAPSOFT'95, Århus, Denmark, May 22-26, 1995: Lecture Notes in Computer Science. 915 udg, IEEE Computer Society Press, s. 439-453, CPO Models for a Class of GSOS Languages, 19/05/2010.

CPO Models for a Class of GSOS Languages. / Aceto, Luca; Ingolfsdottir, Anna.

Proceedings of the 6th International Joint Conference CAAP/FASE, TAPSOFT'95, Århus, Denmark, May 22-26, 1995: Lecture Notes in Computer Science. red. / Mosses, Peter D. : Nielsen, Mogens : Schwartzbach, Michael I. (eds.). 915. udg. IEEE Computer Society Press, 1995. s. 439-453.

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

TY - GEN

T1 - CPO Models for a Class of GSOS Languages

AU - Aceto, Luca

AU - Ingolfsdottir, Anna

N1 - ISSN ; -

PY - 1995

Y1 - 1995

M3 - Article in proceeding

SN - 3540592938

SP - 439

EP - 453

BT - Proceedings of the 6th International Joint Conference CAAP/FASE, TAPSOFT'95, Århus, Denmark, May 22-26, 1995

A2 - Mosses, Peter D. : Nielsen, Mogens : Schwartzbach, Michael I. (eds.), null

PB - IEEE Computer Society Press

ER -

Aceto L, Ingolfsdottir A. CPO Models for a Class of GSOS Languages. I Mosses, Peter D. : Nielsen, Mogens : Schwartzbach, Michael I. (eds.), red., Proceedings of the 6th International Joint Conference CAAP/FASE, TAPSOFT'95, Århus, Denmark, May 22-26, 1995: Lecture Notes in Computer Science. 915 udg. IEEE Computer Society Press. 1995. s. 439-453