Linear time and branching time semantics for recursion with merge

This publication has 9 references indexed in Scilit:

• Denotational semantics of concurrency
  Published by Association for Computing Machinery (ACM) ,1982
• Domains for denotational semantics
  Published by Springer Nature ,1982
• A linear history semantics for distributed languages extended abstract
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1980
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• Power domains
  Journal of Computer and System Sciences, 1978
• Sur les ensembles de mots infinis engendrés par une grammaire algébrique
  RAIRO. Informatique théorique, 1978
• Mots infinis engendrés par une grammaire algébrique
  RAIRO. Informatique théorique, 1977
• Data Types as Lattices
  SIAM Journal on Computing, 1976
• A Powerdomain Construction
  SIAM Journal on Computing, 1976