906 search results - page 46 / 182 » Linking Theories of Concurrency |
153
click to vote
ESOP
2009
Springer
16 years 27 days ago
2009
Springer
We present a type theory for analyzing concurrent multiparty interactions as found in service-oriented computing. Our theory introduces a novel and flexible type structure, able t...
164
click to vote
CONCUR
2000
Springer
15 years 10 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 ...
136
click to vote
ENTCS
2008
15 years 6 months ago
2008
Circus is a refinement language, in which specifications define both data and behavioural aspects of concurrent systems using a combination of Z and CSP. Its refinement theory and...
148
click to vote
PPOPP
2006
ACM
16 years 2 days ago
2006
ACM
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
155
click to vote
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
Io is small prototype-based programming language. The ideas in Io are mostly inspired by Smalltalk[1] (all values are objects), Self[2] (prototype-based), NewtonScript[3] (differe...