CORR
2009
Springer
13 years 9 months ago
2009
Springer
CORR
2009
Springer
13 years 9 months ago
2009
Springer
Transactional events (TE) are an extension of Concurrent ML (CML), a programming model for synchronous message-passing. Prior work has focused on TE's formal semantics and it...
CORR
2009
Springer
13 years 9 months ago
2009
Springer
A choreography describes a transaction in which several principals interact. Since choreographies frequently describe business processes affecting substantial assets, we need a se...
CORR
2009
Springer
13 years 9 months ago
2009
Springer
CORR
2009
Springer
13 years 9 months ago
2009
Springer
CORR
2009
Springer
13 years 9 months ago
2009
Springer
on of abstract strategies which is extensional in the sense that a strategy is defined explicitly of derivations of an abstract reduction system. We then move to a more intensional...
CORR
2009
Springer
13 years 9 months ago
2009
Springer
CORR
2009
Springer
13 years 9 months ago
2009
Springer
CORR
2009
Springer
13 years 9 months ago
2009
Springer
Previous work has shown that there are two major complexity barriers in the synthesis of fault-tolerant distributed programs, namely generation of fault-span, the set of states re...
CORR
2009
Springer
13 years 9 months ago
2009
Springer
We present a new distributed algorithm for state space minimization modulo branching bisimulation. Like its predecessor it uses signatures for refinement, but the refinement proce...