A Fully Abstract Denotational Model for Observational Precongruence

Anna Ingolfsdottir, A. Schalk

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

Original languageEnglish
Title of host publicationProceedings of CSL'95 : 9th International Workshop, Paderborn, Germany, September 22-29, 1995 : Lecture Notes in Computer Science
EditorsBünung, Hans Kleine (ed.)
PublisherIEEE Computer Society Press
Publication date1995
Edition1092
Pages335-361
Publication statusPublished - 1995
EventA Fully Abstract Denotational Model for Observational Precongruence -
Duration: 19 May 2010 → …

Conference

ConferenceA Fully Abstract Denotational Model for Observational Precongruence
Period19/05/2010 → …

Cite this