Sciweavers

ICALP
2005
Springer
14 years 5 months ago
Orthogonal Extensions in Structural Operational Semantics
d Abstract) MohammadReza Mousavi and Michel A. Reniers Department of Computer Science, Eindhoven University of Technology, NL-5600MB Eindhoven, The Netherlands Abstract. In this pa...
Mohammad Reza Mousavi, Michel A. Reniers