On the public citation graph

Concurrent constraint programming based on functional programming

https://doi.org/10.1007/bfb0053559
0 signed · 31 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-59155-9_14openalex-snapshot
The definition of Kernel Oz
inferredcites →https://doi.org/10.1007/3-540-61630-6_17openalex-snapshot
The Oz Programming Model
inferredcites →https://doi.org/10.1007/978-1-4615-5477-6openalex-snapshot
Objects for Concurrent Constraint Programming
inferredcites →https://doi.org/10.1007/978-3-642-60858-2_23openalex-snapshot
The Oz Programming Model
inferredcites →https://doi.org/10.1007/bfb0015232openalex-snapshot
Computer Science Today
inferredcites →https://doi.org/10.1007/bfb0016844openalex-snapshot
A foundation for higher-order concurrent constraint programming
inferredcites →https://doi.org/10.1007/bfb0017464openalex-snapshot
Programming constraint inference engines
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/c2013-0-07699-2openalex-snapshot
Foundations of Deductive Databases and Logic Programming
inferredcites →https://doi.org/10.1145/218570.218572openalex-snapshot
A polymorphic record calculus and its compilation
inferredcites →https://doi.org/10.1145/242223.242279openalex-snapshot
Strategic directions in constraint programming
inferredcites →https://doi.org/10.1145/242224.242321openalex-snapshot
Constraints in OZ
inferredcites →https://doi.org/10.1145/265943.265972openalex-snapshot
Mobile objects in distributed Oz
inferredcites →https://doi.org/10.7551/mitpress/2086.001.0001openalex-snapshot
Concurrent Constraint Programming
inferredcites →https://doi.org/10.7551/mitpress/2319.001.0001openalex-snapshot
The Definition of Standard ML

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/11860990_24openalex-snapshot
A Mobile Agent Service-Oriented Scripting Language Encoded on a Process Calculus
inferred← citeshttps://doi.org/10.1007/3-540-44404-1_4openalex-snapshot
Encoding Temporal Logics in Executable Z: A Case Study for the ZETA System
inferred← citeshttps://doi.org/10.1007/3-540-45945-6openalex-snapshot
Programming Constraint Services: High-Level Programming of Standard and New Constraint Services
inferred← citeshttps://doi.org/10.1007/3-540-46584-7_15openalex-snapshot
Programming Deep Concurrent Constraint Combinators
inferred← citeshttps://doi.org/10.1007/978-3-319-31311-5_4openalex-snapshot
A Real-Time Concurrent Constraint Calculus for Analyzing Avionic Systems Embedded in the IMA Connected Through TTEthernet
inferred← citeshttps://doi.org/10.1007/s10601-013-9145-3openalex-snapshot
Models and emerging trends of concurrent constraint programming
inferred← citeshttps://doi.org/10.1109/iri.2015.56openalex-snapshot
Specifying Avionic Embedded Systems by Denotations of the Time-Triggered Constraint-Based Calculus
inferred← citeshttps://doi.org/10.1145/1160633.1160870openalex-snapshot
A service-oriented language for programming mobile agents
inferred← citeshttps://doi.org/10.1145/319301.319347openalex-snapshot
Efficient logic variables for distributed computing
inferred← citeshttps://doi.org/10.14279/depositonce-102openalex-snapshot
A set-based calculus and its implementation
inferred← citeshttps://doi.org/10.22028/d291-25738openalex-snapshot
Design, Implementierung und Evaluierung einer virtuellen Maschine für Oz
inferred← citeshttps://doi.org/10.22028/d291-25772openalex-snapshot
Constraint programming in computational linguistics
inferred← citeshttps://doi.org/10.22028/d291-25880openalex-snapshot
Design and implementation of a programmable middleware
inferred← citeshttps://doi.org/10.48550/arxiv.0810.4451openalex-snapshot
The Mob core language and abstract machine (rev 0.2)
inferred← citeshttps://doi.org/10.48550/arxiv.1410.3694openalex-snapshot
A Time-Triggered Constraint-Based Calculus for Avionic Systems
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.