7099 search results - page 336 / 1420 » Context for models of concurrency |
185
click to vote
ACSD
2008
IEEE
16 years 2 months ago
2008
IEEE
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, two automati...
201
click to vote
LCPC
2001
Springer
15 years 12 months ago
2001
Springer
Component architectures promote cross-project code reuse by facilitating composition of large applications using off-the-shelf software components. Existing component architecture...
182
click to vote
KR
1994
Springer
15 years 11 months ago
1994
Springer
This paper analyzes a language for actions and the deontic modalities over actions -- i.e., the modalities permitted, forbidden and obligatory. The work is based on: (1) an action...
212
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
Unfoldings are a technique for verification of concurrent and distributed systems introduced by McMillan. The method constructs a finite complete prefix, which can be seen as a sym...
237
click to vote
SPIN
2000
Springer
15 years 11 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...