1491 search results - page 24 / 299 » Resource-Passing Concurrent Programming |
114
Voted
PPDP
2010
Springer
15 years 19 days 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...
118
Voted
CAV
2010
Springer
15 years 6 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...
114
Voted
WDAG
1999
Springer
15 years 7 months ago
1999
Springer
90
Voted
PODC
1998
ACM
15 years 7 months ago
1998
ACM
96
Voted
ICDCS
1996
IEEE
15 years 7 months ago
1996
IEEE