Skip to main navigation Skip to search Skip to main content

A Fully Abstract Denotational Model for Observational Precongruence

  • Anna Ingolfsdottir
  • , A. Schalk

Research output: Contribution to journal › Journal article › Research › peer-review

Original languageEnglish
JournalTheoretical Computer Science
Volume254
Issue number1/2
Pages (from-to)35-61
ISSN0304-3975
Publication statusPublished - 2001

Cite this