CPO Models for a Class of GSOS Languages

Luca Aceto; Anna Ingolfsdottir

CPO Models for a Class of GSOS Languages

Luca Aceto, Anna Ingolfsdottir

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

Original language	English
Title of host publication	Proceedings of the 6th International Joint Conference CAAP/FASE, TAPSOFT'95, Århus, Denmark, May 22-26, 1995 : Lecture Notes in Computer Science
Editors	Mosses, Peter D. : Nielsen, Mogens : Schwartzbach, Michael I. (eds.)
Publisher	IEEE Computer Society Press
Publication date	1995
Edition	915
Pages	439-453
ISBN (Print)	3540592938
Publication status	Published - 1995
Event	CPO Models for a Class of GSOS Languages - Duration: 19 May 2010 → …

Conference

Conference	CPO Models for a Class of GSOS Languages
Period	19/05/2010 → …

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@inproceedings{7baad810003d11dab4d5000ea68e967b,

title = "CPO Models for a Class of GSOS Languages",

author = "Luca Aceto and Anna Ingolfsdottir",

note = "ISSN ; -; CPO Models for a Class of GSOS Languages ; Conference date: 19-05-2010",

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. in Mosses, Peter D. : Nielsen, Mogens : Schwartzbach, Michael I. (eds.) (ed.), Proceedings of the 6th International Joint Conference CAAP/FASE, TAPSOFT'95, Århus, Denmark, May 22-26, 1995: Lecture Notes in Computer Science. 915 edn, IEEE Computer Society Press, pp. 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. ed. / Mosses, Peter D. : Nielsen, Mogens : Schwartzbach, Michael I. (eds.). 915. ed. IEEE Computer Society Press, 1995. p. 439-453.

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

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

T2 - CPO Models for a Class of GSOS Languages

Y2 - 19 May 2010

ER -