CORR
2009
Springer
14 years 10 months ago
2009
Springer
CORR
2009
Springer
14 years 10 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
14 years 10 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
14 years 10 months ago
2009
Springer
CORR
2009
Springer
14 years 10 months ago
2009
Springer
113
click to vote
CORR
2009
Springer
14 years 10 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
14 years 10 months ago
2009
Springer
CORR
2009
Springer
14 years 10 months ago
2009
Springer
CORR
2009
Springer
14 years 10 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
14 years 10 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...