1005 search results - page 122 / 201 » Operational Semantics and Program Equivalence |
105
click to vote
JLP
2011
14 years 5 months 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...
215
Voted
ICDE
2001
IEEE
16 years 3 months ago
2001
IEEE
Current workflow management technology does not provide adequate means for inter-workflow coordination as concurrently executing workflows are considered completely independent. W...
CONCUR
2005
Springer
15 years 8 months ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
106
Voted
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
The shift and reset operators, proposed by Danvy and Filinski, are powerful control primitives for capturing delimited continuations. Delimited continuation is a similar concept a...
137
Voted
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...