4385 search results - page 44 / 877 » Abstraction for Concurrent Objects |
KI
1994
Springer
15 years 2 months ago
1994
Springer
Abstract. As an extension of the well
DAC
2000
ACM
15 years 11 months ago
2000
ACM
This paper presents a novel compiler for Esterel, a concurrent synchronous imperative language. It generates fast, small object code by compiling away concurrency, producing a sin...
BIRTHDAY
2000
Springer
15 years 3 months ago
2000
Springer
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide range of high-level constru...
103
click to vote
QEST
2006
IEEE
15 years 4 months ago
2006
IEEE
A concurrent reachability game is a two-player game played on a graph: at each state, the players simultaneously and independently select moves; the two moves determine jointly a ...
OOPSLA
1992
Springer
15 years 2 months ago
1992
Springer
JAC is a Java extension for high-level concurrent programming, meant to hide the notions of threads and synchronization statements from the programmer. Putting into practice the c...