1 Department of Computer Science, Faculty of Science, Aarhus University, Aarhus University2 Institute of Informatics, Warsaw University
Several novel techniques for use in operational semantics are presented. They were developed in connection with a modular vatriant of the conventional Structural Operational Semantics framework, but can also be exploited when modularity is of no great concern. Gives a simple introduction to the main ideas of the MSOS framework.
Concurrency, Specification, and Programming, Cs\&p 2003, Czarna, Poland, Proceedings, 2003, p. 21-34
Main Research Area:
Concurrency, Specifikation, and Programming, CS&P 2003 <em/><em/>