J.-M. Jacquet and K. De Bosschere. On Composing Concurrent Logic Processes. In L. Sterling, editor, Proc. 12 th Int'l Conf. on Logic Programming, ICLP'95, pages 531--545, Tokio, 1995. The MIT Press, Cambridge, Mass. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Composing Specifications for Coordination - Montangero, Semini (1999) (2 citations) (Correct)
....As for Swarm and for our approach, program properties are derived using assertion on the form of Hoare triples, but no formal definition of the axiomatic semantics is given. Compositionality results for programs based on tuple spaces have been proposed also by Jacquet and De Bosschere. In [14], they discuss a methodology based on a logical approach. Program properties are expressed in Unity, properties of the composition of programs are obtained with a rely guarantee reasoning similar to the one proposed in [1] However, they only consider compositions of programs acting on a single ....
J.-M. Jacquet and K. De Bosschere. On Composing Concurrent Logic Processes. In L. Sterling, editor, Proc. 12 th Int'l Conf. on Logic Programming, ICLP'95, pages 531--545, Tokio, 1995. The MIT Press, Cambridge, Mass.
Composing Specifications for Coordination - Montangero, Semini (1999) (2 citations) (Correct)
....As for Swarm and for our approach, program properties are derived using assertion on the form of Hoare triples, but no formal definition of the axiomatic semantics is given. Compositionality results for programs based on tuple spaces have been proposed also by Jacquet and De Bosschere. In [14], they discuss a methodology based on a logical approach. Program properties are expressed in Unity, properties of the composition of programs are obtained with a rely guarantee reasoning similar to the one proposed in [1] However, they only consider compositions of programs acting on a single ....
J.-M. Jacquet and K. De Bosschere. On Composing Concurrent Logic Processes. In L. Sterling, editor, Proc. 12 th Int'l Conf. on Logic Programming, ICLP'95, pages 531--545, Tokio, 1995. The MIT Press, Cambridge, Mass.
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