The expressive power of structural operational semantics with explicit assumptions

10.1007/3-540-58085-9_80

http://hdl.handle.net/11390/1128033

info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85027506583

https://link.springer.com/chapter/10.1007%2F3-540-58085-9_80

open access