HostPublication Proceedings of the 3rd Workshop on Structural Operational Semantics
From CERES
A list of all pages that have property "HostPublication" with value "Proceedings of the 3rd Workshop on Structural Operational Semantics"
- Publications:On well-foundedness and expressiveness of promoted tyft : being promoted makes a difference +
