Domains for denotational semantics

This publication has 10 references indexed in Scilit:

• Some Ordered Sets in Computer Science
  Published by Springer Nature ,1982
• Petri nets, event structures and domains, part I
  Theoretical Computer Science, 1981
• Formal Languages: Origins and Directions
  IEEE Annals of the History of Computing, 1981
• A Compendium of Continuous Lattices
  Published by Springer Nature ,1980
• Edinburgh LCF
  Lecture Notes in Computer Science, 1979
• The Denotational Description of Programming Languages
  Published by Springer Nature ,1979
• Data Types as Lattices
  SIAM Journal on Computing, 1976
• The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
  SIAM Journal on Computing, 1976
• Continuous lattices
  Lecture Notes in Mathematics, 1972
• Finite Automata and Their Decision Problems
  IBM Journal of Research and Development, 1959