1704 search results - page 6 / 341 » Design of a Concurrent and Distributed Language |
PODC
1994
ACM
14 years 16 days ago
1994
ACM
EDO
2005
Springer
14 years 2 months ago
2005
Springer
A distribution model for the new generation of component languages, which allows to plug required into provided interfaces, is presented together with the distributed component la...
ADAEUROPE
2007
Springer
14 years 2 months ago
2007
Springer
When developing concurrent software, a proper engineering practice is to choose a good level of abstraction for expressing concurrency control. Ideally, this level should provide p...
ESOP
2004
Springer
14 years 1 months ago
2004
Springer
A transaction defines a locus of computation that satisfies important concurrency and failure properties; these so-called ACID properties provide strong serialization guarantees ...
EDOC
2004
IEEE
14 years 5 days ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...