347
Voted
CONCUR
13 years 10 months ago
2012 Springer 
We introduce a nominal actor-based language and study its expressive power. We have identified the presence/absence of fields as a relevant feature: the dynamic creation of names...
232
click to vote
CONCUR
13 years 10 months ago
2012 Springer 
Networks of timed automata (NTA) are widely used to model distributed real-time systems. Quite often in the literature, the automata are allowed to share clocks. This is a problem ...
213
Voted
CONCUR
13 years 10 months ago
2012 Springer
Abstract. Multi-threaded programs with recursion are naturally modeled as multi-pushdown systems. The behaviors are represented as multiply nested words (MNWs), which are words enr...
256
click to vote
CONCUR
13 years 10 months ago
2012 Springer
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it assumes a complete isolation between a library and ...
192
Voted
CONCUR
13 years 10 months ago
2012 Springer |
Distributed And Parallel Computing