5451 search results - page 75 / 1091 » Typed Operational Semantics |
AMAST
1997
Springer
15 years 6 months ago
1997
Springer
EGICE
2006
15 years 6 months ago
2006
125
click to vote
LICS
1998
IEEE
15 years 6 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...
CHARME
1995
Springer
15 years 6 months ago
1995
Springer
115
click to vote
FOSSACS
2008
Springer
15 years 4 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...