L.M. Pereira, L.F. Monteiro, J.C. Cunha, and Apar'icio. Concurrency and Communication in Delta-Prolog. In The Design and Application of Parallel Digital Processors, volume 298, pages 94--104. IEEE, 1988. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Local and Conditional Blackboard Operations in µLog.. - De Bosschere, Jacquet (1994) (Correct)
....of languages, and to the guards in Delta Prolog. Shared Prolog s preactivations are more general, but are harder to understand, and do not have a clear semantics (at least two semantics have been proposed in literature) 8] The semantics of the conditional communication primitives of Delta Prolog [14] are synchronous and channel based and therefore cannot be used as means for selection of messages. The remainder of this paper is organized as follows. After having specified the primitives of the extended Log language in section 2, section 3 defines the operational semantics of the language in ....
....to the term to be communicated. It is clear that this creates a severe overhead in case there are many different kinds of conditions to be evaluated in a system. Furthermore, in applications where not all the conditions are known at compile time, this technique cannot be used. Delta Prolog [14] is a channel based language that supports guards on the sender side, as well as on the receiver side. The guards are mainly use in combination with the so called choice goals, in which the elements, also called the alternatives, contain the communication primitives. Furthermore, the conditional ....
L.M. Pereira, L.F. Monteiro, J.C. Cunha, and Apar'icio. Concurrency and Communication in Delta-Prolog. In The Design and Application of Parallel Digital Processors, volume 298, pages 94--104. IEEE, 1988.
On Relating Blackboards in the µLog Coordination Model - Jacquet, De Bosschere (Correct)
....during its entire lifetime, not just once. The concept of invariant of ESP can easily be modelled in Log by one single process that waits on a condition. The mechanism described in [18] and the communication mechanisms that are found in channelbased parallel languages such as Delta Prolog [20], CSProlog [10] etc. are not related to the concept of relation, as they are concentrating on the lower levels of the communciation, and do not offer a higher level of abstractions. 7 Conclusion This paper has described relations between blackboards. Sets of relations automatically induce ....
L.M. Pereira, L.F. Monteiro, J.C. Cunha, and Apar'icio. Concurrency and Communication in Delta-Prolog. In The Design and Application of Parallel Digital Processors, volume 298, pages 94-- 104. IEEE, 1988.
Delta Prolog: a Distributed Logic Programming.. - Cunha, Medeiros.. (1992) (5 citations) Self-citation (Pereira Cunha) (Correct)
....with constructs for the specification of distributed systems. As a distinctive feature, the DeltaP model relies on the programmer to specify the sequentiality constraints and the desirable parallelism existing in each problem, together with the corresponding communication schemes ( PP84] PMCA86] [PMCA88], CFP89b] CFP89a] The presentation is organized as follows. In section 2, we discuss the programming model and give an example. A discussion of the DeltaP sequential and parallel execution models is made in section 3. Then, in section 4, we discuss implementation issues of the parallel ....
L.M. Pereira, L.F. Monteiro, J.C. Cunha, and J.N. Apar'icio. Concurrency and communication in Delta Prolog. In IEE International Specialists Seminar on the Design and Applications of Parallel Digital Processors. IEE, 1988.
Potentiality of Parallelism in Logic - Kurfeß (1991) (Correct)
No context found.
Moniz Pereira, L., Monteiro, L., and Cunha, Jose C.and Aparicio, J. (1988). Concurrency and Communication in Delta Prolog. In IEEE International Specialists Seminar on The Design and Applications of Parallel Digital Processors, pages 94--104, Lisbon.
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