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