1173 search results - page 103 / 235 » On the Compositionality of Round Abstraction |
97
Voted
FORMATS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We show how to transform formulae written in the real-time temporal logic MITL into timed automata that recognize their satisfying models. This compositional construction...
102
Voted
FOSSACS
2008
Springer
15 years 2 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...
FORTE
2004
15 years 2 months ago
2004
Abstract. Event-based process algebraic specification languages support an elegant specification technique by which system behaviours are described as compositions of constraints o...
96
Voted
ROOM
2000
15 years 2 months ago
2000
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...
103
Voted
CLEIEJ
2006
15 years 24 days ago
2006
This work presents a formal description of a subset of a C-like language in the form of an operational semantics. We give semantics to the following statements (presented in alpha...