681 search results - page 19 / 137 » A Logic for True Concurrency |
75
Voted
IPPS
1998
IEEE
15 years 1 months ago
1998
IEEE
Passing messages through shared memory plays an important role on symmetric multiprocessors and on Clumps. The management of concurrent access to message queues is an important as...
65
Voted
VLSID
1999
IEEE
15 years 1 months ago
1999
IEEE
We survey some of the methods used for manipulating, representing, and optimizing multi-valued logic with the view of both building a better understanding of the more specialized ...
KBSE
1997
IEEE
15 years 1 months ago
1997
IEEE
Modern software systems are designed and implemented in a modular fashion by composing individual components. Early validation of individual module designs and implementations off...
70
Voted
PUK
2003
14 years 11 months ago
2003
Planning is known to be a difficult task. One of the approaches used to reduce this difficulty is problem decomposition under divide-and-conquer methodology. This paper introduce...
ICLP
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. The...