C.T.H. Everaars and B. Lisser. Coordination of a Parallel Proposition Solver. Proceedings of the 3rd international conference on coordination, COORDINATION '99, volume ??? of Lecture Notes in Computer Science. Springer-Verlag, April 1999. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
A Transition System Semantics for the.. - Bonsangue, Arbab, .. (1999) (5 citations) (Correct)
.... modeling cooperative Information Systems[37,38] coordination of Loosely Coupled Genetic Algorithms on parallel and distributed platforms[41] coordination of multiple solvers in a concurrent constraint programming system[10] and coordination of a distributed propositional theorem checker [26]. Differences between MANIFOLD and its kernel Some of the features of MANIFOLD have been left out of the kernel language that is the subject of our formal study in this paper. This makes the kernel simpler, but we do not believe this simplification has compromised the interesting semantic issues ....
C.T.H. Everaars and B. Lisser. Coordination of a Parallel Proposition Solver. Proceedings of the 3rd international conference on coordination, COORDINATION '99, volume ??? of Lecture Notes in Computer Science. Springer-Verlag, April 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC