blob: c553f8f163c311487de67c2b08fbc05a853178e4 (
about) (
plain) (
blame)
1
2
3
4
|
Relational Meta-Language (RML) and Tools
A System for Developing, Compiling and Debugging and Teaching
Structural Operational Semantics (SOS) and
Natural Semantics Specifications
|