On the public citation graph
A foundation for higher-order concurrent constraint programming
0 signed · 44 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1016/0004-3702(85)90087-6openalex-snapshot
Structure and interpretation of computer programs
inferredcites →https://doi.org/10.1016/0304-3975(92)90182-fopenalex-snapshot
Conditional rewriting logic as a unified model of concurrency
inferredcites →https://doi.org/10.1016/0304-3975(94)90209-7openalex-snapshot
A feature constraint system for logic programming with entailment
inferredcites →https://doi.org/10.1016/0743-1066(94)90033-7openalex-snapshot
Constraint logic programming: a survey
inferredcites →https://doi.org/10.1016/0743-1066(94)90044-2openalex-snapshot
Records for logic programming
inferredcites →https://doi.org/10.1016/0890-5401(92)90008-4openalex-snapshot
A calculus of mobile processes, I
inferredcites →https://doi.org/10.1145/158511.158618openalex-snapshot
A natural semantics for lazy evaluation
inferredcites →https://doi.org/10.1145/72551.72555openalex-snapshot
The family of concurrent logic programming languages
inferredcites →https://doi.org/10.7551/mitpress/2086.001.0001openalex-snapshot
Concurrent Constraint Programming
inferredcites →https://doi.org/10.7551/mitpress/2087.001.0001openalex-snapshot
Research Directions in Concurrent Object-Oriented Programming
inferredcites →https://doi.org/10.7551/mitpress/3054.001.0001openalex-snapshot
The Formal Semantics of Programming Languages
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/(sici)1096-9942(1999)5:2<97::aid-tapo3>3.0.co;2-gopenalex-snapshot
Processes, functions, and datatypes
inferred← citeshttps://doi.org/10.1007/3-540-45500-0_5openalex-snapshot
Resource-Passing Concurrent Programming
inferred← citeshttps://doi.org/10.1007/3-540-45711-9_17openalex-snapshot
Temporal Concurrent Constraint Programming: Applications and Behavior
inferred← citeshttps://doi.org/10.1007/3-540-60688-2_43openalex-snapshot
Constraints for free in concurrent computation
inferred← citeshttps://doi.org/10.1007/978-3-319-25527-9_13openalex-snapshot
A Declarative View of Signaling Pathways
inferred← citeshttps://doi.org/10.1007/978-3-540-24599-5_6openalex-snapshot
Concurrency, Time, and Constraints
inferred← citeshttps://doi.org/10.1007/978-3-540-27755-2_20openalex-snapshot
Notes on Timed Concurrent Constraint Programming
inferred← citeshttps://doi.org/10.1007/978-3-540-31845-3_22openalex-snapshot
Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks
inferred← citeshttps://doi.org/10.1007/978-3-642-60858-2_23openalex-snapshot
The Oz Programming Model
inferred← citeshttps://doi.org/10.1007/bfb0053559openalex-snapshot
Concurrent constraint programming based on functional programming
inferred← citeshttps://doi.org/10.1007/bfb0055075openalex-snapshot
Concurrent constraints in the fusion calculus
inferred← citeshttps://doi.org/10.1007/s10601-013-9145-3openalex-snapshot
Models and emerging trends of concurrent constraint programming
inferred← citeshttps://doi.org/10.1016/s0096-0551(96)00009-4openalex-snapshot
Rule-based coordination of logic programs
inferred← citeshttps://doi.org/10.1017/s1471068413000641openalex-snapshot
Abstract interpretation of temporal concurrent constraint programs
inferred← citeshttps://doi.org/10.1023/a:1009849309451openalex-snapshot
Integrating Constraints and Concurrent Objects in Musical Applications: A Calculus and its Visual Language
inferred← citeshttps://doi.org/10.1023/a:1009868906501openalex-snapshot
A Methodological View of Constraint Solving
inferred← citeshttps://doi.org/10.1023/a:1010064516533openalex-snapshot
The π-Calculus in Direct Style
inferred← citeshttps://doi.org/10.1142/s0129054101000412openalex-snapshot
REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS
inferred← citeshttps://doi.org/10.1145/3725421openalex-snapshot
Using Process Calculus for Optimizing Data and Computation Sharing in Complex Stateful Parallel Computations
inferred← citeshttps://doi.org/10.14279/depositonce-102openalex-snapshot
A set-based calculus and its implementation
inferred← citeshttps://doi.org/10.14483/23448350.608openalex-snapshot
Especificación formal de arquitecturas de software basadas en componentes: chequeo de corrección con cálculo −Parq
inferred← citeshttps://doi.org/10.2168/lmcs-7(1:11)2011openalex-snapshot
Psi-calculi: a framework for mobile processes with nominal data and logic
inferred← citeshttps://doi.org/10.24355/dbbs.084-200511080100-103openalex-snapshot
Foundations of a Module Concept for Distributed Object Systems
inferred← citeshttps://doi.org/10.3233/fi-2020-1992openalex-snapshot
Dynamic Slicing for Concurrent Constraint Languages
inferred← citeshttps://doi.org/10.48456/tr-514openalex-snapshot
Nomadic π-calculi: expressing and verifying communication infrastructure for mobile computation
inferred← citeshttps://doi.org/10.70675/ba22234cza55fz4daazb100z1881baca8dcdopenalex-snapshot
Spacetime programming : a synchronous language for constraint search
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.