Sciweavers

ENTCS
2007
109views more  ENTCS 2007»
14 years 12 days ago
Modular Structural Operational Semantics with Strategies
Strategies are a powerful mechanism to control rule application in rule-based systems. For instance, different transition relations can be defined and then combined by means of ...
Christiano Braga, Alberto Verdejo