84
Voted
CORR
2009
Springer
14 years 10 months ago
2009
Springer
CORR
2009
Springer
14 years 10 months ago
2009
Springer
A challenge for programming language research is to design and implement multi-threaded low-level languages providing static guarantees for memory safety and freedom from data rac...
57
Voted
CORR
2009
Springer
14 years 10 months ago
2009
Springer
93
Voted
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...
93
Voted
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...
80
Voted
CORR
2009
Springer
14 years 10 months ago
2009
Springer
CORR
2009
Springer
14 years 10 months ago
2009
Springer
113
Voted
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...
66
Voted
CORR
2009
Springer
14 years 10 months ago
2009
Springer
67
Voted
CORR
2009
Springer
14 years 10 months ago
2009
Springer