SMoLCS-driven concurrent calculi

This publication has 10 references indexed in Scilit:

• The SMoLCS approach to the formal semantics of programming languages
  Published by Springer Nature ,1987
• Comparing direct and continuation semantics styles for concurrent languages
  Published by Springer Nature ,1987
• Structured algebraic specifications: A Kernel language
  Theoretical Computer Science, 1986
• On the parameterized algebraic specification of concurrent systems
  Published by Springer Nature ,1985
• Algebraic definition of a functional programming language and its semantic models
  RAIRO. Informatique théorique, 1983
• Calculi for synchrony and asynchrony
  Theoretical Computer Science, 1983
• A kernel language for algebraic specification and implementation extended abstract
  Published by Springer Nature ,1983
• Partial abstract types
  Acta Informatica, 1982
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• The Vienna Development Method: The Meta-Language
  Lecture Notes in Computer Science, 1978