CPO Models for GSOS Languages, Part 1: Compact GSOS Languages

Luca Aceto, Anna Ingolfsdottir

Research output: Book/ReportBookResearch

Original languageEnglish
Place of PublicationÅrhus : Daimi
PublisherDepartment of Computer Science, Aarhus University
Number of pages70
Publication statusPublished - 1994
SeriesBRICS Report Series
NumberRS-94-40
ISSN0909-0878

Cite this

Aceto, L., & Ingolfsdottir, A. (1994). CPO Models for GSOS Languages, Part 1: Compact GSOS Languages. Department of Computer Science, Aarhus University. BRICS Report Series, No. RS-94-40