1491 search results - page 24 / 299 » Resource-Passing Concurrent Programming |
PPDP
2010
Springer
14 years 7 months ago
2010
Springer
The Constraint Simplification Rules (CSR) subset of CHR and the flat subset of LCC, where agent nesting is restricted, are very close syntactically and semantically. The first con...
CAV
2010
Springer
15 years 1 months ago
2010
Springer
We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for t...
92
Voted
WDAG
1999
Springer
15 years 1 months ago
1999
Springer
61
Voted
PODC
1998
ACM
15 years 1 months ago
1998
ACM
61
Voted
ICDCS
1996
IEEE
15 years 1 months ago
1996
IEEE