Pragmatics of Modular SOS

This publication has 11 references indexed in Scilit:

• Natural semantics
  Published by Springer Nature ,2005
• Structural Operational Semantics
  Published by Elsevier ,2001
• Semantics of programming languages
  ACM SIGPLAN Notices, 2000
• A Modular SOS for ML Concurrency Primitives
  BRICS Report Series, 1999
• A Modular SOS for Action Notation
  BRICS Report Series, 1999
• LETOS - a lightweight execution tool for operational semantics
  Software: Practice and Experience, 1999
• Foundations of Modular SOS
  BRICS Report Series, 1999
• Foundations of Modular SOS
  Published by Springer Nature ,1999
• The Definition of Standard ML
  Published by MIT Press ,1997
• A semantics for ML concurrency primitives
  Published by Association for Computing Machinery (ACM) ,1992