M. Muller, J. Niehren and G. Smolka, Typed Concurrent Programming with Logic Variables,tech- nical report, Programming Systems Lab, Universitat des Saarlandes, January 1998. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Language Primitives And Type Discipline For Structured.. - Honda, Vasconcelos, Kubo (34 citations) (Correct)
....to various possibilities as found in # calculi, as well as considering practical concerns. Thirdly, the field of research which is closely related to the present work is the study of various typed programming languages based on # calculi [7, 27, 34] and of types for # calculi (see for example [21, 8, 28, 29, 16, 17, 31, 35, 41]) Types impose various constraints on the syntax of processes, and thus restrain the processes to have only good interactive behaviours. Varied notions of types have been studied in the context of # calculus and then have been applied to the setting of programming languages based on # calculi. ....
M. Muller, J. Niehren and G. Smolka, Typed Concurrent Programming with Logic Variables,tech- nical report, Programming Systems Lab, Universitat des Saarlandes, January 1998.
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