1204 search results - page 114 / 241 » Parallel concurrent ML |
127
click to vote
CONCUR
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We extend Kobayashi and Sumii’s type system for the deadlock-free π-calculus and develop a type reconstruction algorithm. Kobayashi and Sumii’s type system helps hig...
130
click to vote
CONCUR
2000
Springer
15 years 8 months ago
2000
Springer
This paper introduces process spaces, a unified theory of interacting systems. The trait, abstract executions, leads to a simple and general set formalism. For concurrent systems ...
162
click to vote
DEBS
2009
ACM
15 years 8 months ago
2009
ACM
The ability to find services or resources that satisfy some criteria is an important aspect of distributed systems. This paper presents an event-based architecture to support more...
128
click to vote
EDOC
2004
IEEE
15 years 7 months 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, ...
151
click to vote
COORDINATION
2008
Springer
15 years 5 months ago
2008
Springer
Context-aware applications adapt their behavior depending on changes in their environment context. Programming such applications in a modular way requires to modularize the global ...