246 search results - page 7 / 50 » A Proof System for Asynchronously Communicating Deterministi... |
108
Voted
LICS
2008
IEEE
15 years 6 months ago
2008
IEEE
In higher-order process calculi the values exchanged in communications may contain processes. A core calculus of higher-order concurrency is studied; it has only the operators nec...
82
Voted
EMSOFT
2007
Springer
15 years 3 months ago
2007
Springer
Synchronous reactive formalisms associate concurrent behaviors to precise schedules on global clock(s). This allows a non-ambiguous notion of "absent" signal, which can ...
85
Voted
FSEN
2009
Springer
15 years 6 months ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...
70
Voted
OPODIS
2004
15 years 1 months ago
2004
Consider an asynchronous system where each process begins with an arbitrary real value. Given some fixed > 0, an approximate agreement algorithm must have all non-faulty process...
106
Voted
STOC
2004
ACM
15 years 12 months ago
2004
ACM
The Collect problem for an asynchronous shared-memory system has the objective for the processors to learn all values of a collection of shared registers, while minimizing the tot...