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/>