Karam (1988). Prototyping Concurrent Systems with Multilog. Technical report, Department of Systems and Computer Engineering, Carleton University. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Proof Theory in Linear Logic: A Specification of Concurrent Objects - Delzanno (Correct)
Potentiality of Parallelism in Logic - Kurfeß (1991) (Correct)
Asynchronous Rendez-Vous in Distributed Logic Programming - Eliëns, de Vink (1993) (Correct)
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