J.W. de Bakker and E.P. de Vink. CCS for OO and LP. In S. Abramsky and T.S.E. Maibaum, editors, Theory and Practice of Software Development, Advances in Distributed Computing and Combining Paradigms for Software Development, LNCS 494, pages 1--28. Springer, 1991. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
CCS without r's with Built-in Service Rendezvous - Baldamus (Correct)
....it is certainly desirable to keep the one synchronization per rendezvous property of the real world model. If it is kept then we can say that the rendezvous is described in the form of a primitive. Works where this characterization applies have been published by de Bakker and de Vink ( Bak89] [BV91a], and [BV91b] What is crucial in comparison with the approach presented here, the non pure formalisms in de Bakker and de Vink s framework exhibit a division between continuations and states, continuations being certain behaviour expressions and states being environments which contain value ....
J.W. de Bakker and E.P. de Vink. CCS for OO and LP. In S. Abramsky and T.S.E. Maibaum, editors, Theory and Practice of Software Development, Advances in Distributed Computing and Combining Paradigms for Software Development, LNCS 494, pages 1--28. Springer, 1991.
Transition System Specifications in Stalk Format With.. - van Oostrom, de Vink (1994) (1 citation) Self-citation (De vink) (Correct)
....example of an (abstract) imperative programming language, for which the use of a many sorted signature in describing its transitional behavior is pivotal when aiming for a comparison with an equivalent continuation style denotational semantics. We base our treatment on the presentation of [AB88, BV91a] and refer to these papers for a more detailed explanation of the various transition schemes. The transition system specification T pc is given by T pc = Sigma pc ; A; f (Act) a , Rec) X , Seq) Alt) 1 , Alt) 2 , New) Par) 1 , Par) 2 j a 2 A; X 2 X g) Thus the configurations are terms ....
....is natural in the context of continuationstyle operational semantics. In fact, main inspiration for the formulation of a transition system specification in stalk format for which bisimulation is a congruence are the studies in comparative semantics dealing with resumptions continuations. cf. [AB88, AR89, Bak91, BK88, BV91a, BV91b, BV92b, BV89, EV93, Rut90b]. There transition system specifications not fitting in the De Simone, GSOS and tyft formats are used as a basis for an operational semantics to be compared with a denotational one. A second, more decisive, difference between the stalk formats and the others concerns the function symbols allowed ....
J.W. de Bakker and E.P. de Vink. CCS for OO and LP. In S. Abramsky and T.S.E. Maibaum, editors, Proc. TAPSOFT'91, volume 2, pages 1--28. LNCS 494, 1991.
Asynchronous Rendez-Vous in Distributed Logic Programming - Eliëns, de Vink (1993) Self-citation (De vink) (Correct)
....the implementation of a distributed medical expert system is described, illustrating the distribution of control over multiple active objects using DLP. Semantics In this paper we will focus mainly on the behavioral aspects of DLP. Following the logic programming without logic approach (cf. [de Bakker, 1991]) we will propose an abstract, uninterpreted language B that will serve as a vehicle for an examination of the asynchronous rendez vous as present in DLP. The strategy of analyzing the control flow of a skeletal language first, before given an account of the full programming language under ....
.... under consideration has been shown profitable in, e.g. Kok, 1988] and [de Bruin and de Vink, 1989] Since the semantics for (the core of) Prolog including the cut operator, and therefore of individual DLP objects, has been extensively studied in [Jones and Mycroft, 1984] de Vink, 1990] and [de Bakker, 1991], attention is given primarily to the creation of processes and the flow of control during communication. Complementary to the approach followed here one could stress the logical aspects of DLP by studying a declarative semantics as done, e.g. for contextual logic programming in [Monteiro and ....
[Article contains additional citation context not shown here]
J.W. de Bakker and E.P. de Vink, CCS for OO and LP, in: Proc. Theory and Practice of Software Development '91, Vol. 2, S. Abramsky and T.S.E. Maibaum (eds.), Lecture Notes in Computer Science 494, Springer (1991) pp. 1-28
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