490 search results - page 4 / 98 » A structured operational semantics for UML-statecharts |
ENTCS
2007
13 years 6 months ago
2007
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 ...
FCT
2003
Springer
13 years 11 months ago
2003
Springer
This paper presents a method for the decomposition of HML formulae. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms s...
CORR
2008
Springer
13 years 6 months ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
SAJ
2000
13 years 6 months ago
2000
This paper presents algebraic results that are important for the extended tyft/tyxt format [12, 13] which can be used to describe many different process algebras. This format is b...
JAVA
1999
Springer
13 years 10 months ago
1999
Springer
