490 search results - page 5 / 98 » A structured operational semantics for UML-statecharts |
101
click to vote
LICS
1998
IEEE
15 years 3 months ago
1998
IEEE
In this paper we describe the promoted tyft tyxt rule format for de ning higher-order languages. The rule format is a generalization of Groote and Vaandrager's tyft tyxt form...
FOSSACS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. A syntactic framework called SGSOS, for defining well-behaved Markovian stochastic transition systems, is introduced by analogy to the GSOS congruence format for nondeter...
SAC
2004
ACM
15 years 5 months ago
2004
ACM
ENTCS
2002
14 years 11 months ago
2002
