2106 search results - page 139 / 422 » Operational Semantics for MSC'96 |
CONCUR
2006
Springer
15 years 1 months ago
2006
Springer
Traditionally, the various semantics of the process algebra Csp are formulated in denotational style. For many Csp models, e.g., the traces model, equivalent semantics have been gi...
ESOP
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
GRAPHICSINTERFACE
2008
14 years 11 months ago
2008
Today's large and high-resolution displays coupled with powerful graphics hardware offer the potential for highly realistic 3D virtual environments, but also cause increased ...
BIRTHDAY
2008
Springer
15 years 13 hour ago
2008
Springer
Abstract. We survey some of the main results regarding the complexity and expressive power of Live Sequence Charts (LSCs). We first describe the two main semantics given to LSCs: a...
ENTCS
2008
14 years 10 months ago
2008
We argue that symmetric (semi)monoidal comonads provide a means to structure context-dependent notions of computation such as notions of dataflow computation (computation on strea...