Karam (1988). Prototyping Concurrent Systems with Multilog. Technical report, Department of Systems and Computer Engineering, Carleton University. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Proof Theory in Linear Logic: A Specification of Concurrent Objects - Delzanno (Correct)
.... systems, for instance, the Conditional Rewriting Logic [54] Finally, we recall the following other proposal: Distributed Logic Programming, DLP [23] another extension of Prolog with special constructs for dealing with non logical variables, object creation and rendez vous communication; MultiLog [47], and Orient84 K [45] In the last year, interesting works based on Linear Logic, have been also proposed in order to deal with all these aspects by exploiting its richer set of logical features provided. We will discuss them in the following section. 4 Specification of Concurrent Objects Based ....
G.M. Karam. Prototyping Concurrent Systems with MultiLog. Technical report, Dept. of Systems and Computer Engineering, Carleton University Ottawa, 1988.
Potentiality of Parallelism in Logic - Kurfeß (1991) (Correct)
No context found.
Karam (1988). Prototyping Concurrent Systems with Multilog. Technical report, Department of Systems and Computer Engineering, Carleton University.
Asynchronous Rendez-Vous in Distributed Logic Programming - Eliëns, de Vink (1993) (Correct)
No context found.
G.M. Karam, Prototyping Concurrent systems with Multilog, Technical Report Dept. of Systems and Computer Engineering Carleton University (1988)
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