Modular structural operational semantics☆
Under an Elsevier user license
open archive
Keywords
Structural operational semantics
SOS
Modularity
MSOS
Cited by (0)
- ☆
BRICS: Basic Research in Computer Science (www.brics.dk), funded by the Danish National Research Foundation.
Copyright © 2004 Elsevier Inc. All rights reserved.