2106 search results - page 138 / 422 » Operational Semantics for MSC'96 |
ICDCS
2000
IEEE
15 years 2 months ago
2000
IEEE
Group communication, providing virtual synchrony semantics, is a powerful paradigm for building distributed applications. For applications that require a large number of groups, s...
CAISE
1999
Springer
15 years 2 months ago
1999
Springer
Whilst it is a common task in systems integration to have to transform between di erent semantic data models, such inter-model transformations are often speci ed in an ad hoc manne...
JLP
2011
14 years 27 days ago
2011
A Concurrent Kleene Algebra offers two composition operators, related by a weak version of an exchange law: when applied in a trace model of program semantics, one of them stands...
ENTCS
2006
14 years 10 months ago
2006
We present a denotational semantics for the hardware compilation language Handel-C that maps language constructs to a set of equations, which describe the structure of the resulti...
FAC
2002
14 years 9 months ago
2002
Formal methods can be used in effective combination only if the semantic links between individual methods are clearly established. This paper discusses the semantic design of TCOZ,...