60 search results - page 7 / 12 » Formal Sequentialization of Distributed Systems via Program ... |
76
Voted
CC
2010
Springer
15 years 4 months ago
2010
Springer
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
114
click to vote
NSPW
1998
ACM
15 years 1 months ago
1998
ACM
Object-based programming is becoming more and more popular and is currently conquering the world of distributed programming models. In object-based systems access control is often...
69
Voted
ASIAN
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. The concept of unreliable failure detectors for reliable distributed systems was introduced by Chandra and Toueg as a fine-grained means to add weak forms of synchrony i...
92
Voted
JLP
2010
14 years 4 months ago
2010
K is an executable semantic framework in which programming languages, calculi, as well as type systems or formal analysis tools can be defined making use of configurations, comput...
172
click to vote
POPL
2005
ACM
15 years 9 months ago
2005
ACM
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...