1991 · 386 citations · 19 references
ComputingComputer ScienceProgramming LanguagesSemanticsSyntaxConcurrency ControlConcurrent ProgrammingConstraint ProgrammingConstraint SatisfactionConstraint SolvingConcurrency SemanticsConcurrent SemanticsSemantics Of Constraints
Concurrent constraint programming [Sar89 ,SR90] is a simple and powerful model of concurrent computation based on the notions of store-as-constraint and process as information
19
Jean-Yves Girard · Theoretical Computer Science · 1987 · 4.1K citations
The Semantics of a Simple Language for Parallel Programming.
Gilles Kahn · IFIP Congress · 1974 · 2.1K citations
Joxan Jaffar, J.-L. Lassez · 1987 · 1.6K citations
Introduction to Higher Order Categorical Logic.
J. L. Bell, J. Lambek, Philip Scott · Journal of Symbolic Logic · 1989 · 1.1K citations
Humanities, Mathematics, Logic +11
Gordon Plotkin · SIAM Journal on Computing · 1976 · 639 citations