Moreover, the reduction of the two primitives is performed simultaneously. However, there is no reason to block ask and tell primitives on information which is already present. The scheme is finally made slightly more general by, on the one hand, permitting the synchronisation of more than two partners and, on the other hand, introducing a fictitious tell primitive which leaves the store unchanged but allows for synchronisation. The focus is on the area of real-time and distributed systems, particularly within the computational logic paradigm. The goal is to extend known formalisms to deal with quantitative and distributed aspects of concurrent constraint systems.
Full paper is available.
Full paper is available. New versions of ask and tell for synchronous communication in concurrent constraint programming , Technical Report No. Full paper is available.