490 search results - page 5 / 98 » A structured operational semantics for UML-statecharts |
LICS
1998
IEEE
14 years 15 days 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
13 years 10 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
14 years 2 months ago
2004
ACM
ENTCS
2002
13 years 8 months ago
2002
