scientific article; zbMATH DE number 1113818
From MaRDI portal
Publication:4375591
Recommendations
- scientific article; zbMATH DE number 794260
- scientific article; zbMATH DE number 879003
- scientific article; zbMATH DE number 1223634
- A fully abstract semantics for concurrent constraint programming
- A concurrent operational semantics for constraint functional logic programming
- scientific article; zbMATH DE number 3958700
- Unfolding and fixpoint semantics of concurrent constraint logic programs
- Unfolding and fixpoint semantics of concurrent constraint logic programs
- A confluent semantic basis for the analysis of concurrent constraint logic programs
- The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
Cited in
(22)- A fully abstract semantics for concurrent constraint programming
- Truly concurrent constraint programming
- Linear concurrent constraint programming: Operational and phase semantics
- Semantics of multiway dataflow constraint systems
- On concurrent behaviors and focusing in linear logic
- Bisimilarity in concurrent constraint programming
- A proof theoretic study of soft concurrent constraint programming
- Observational equivalences for linear logic concurrent constraint languages
- scientific article; zbMATH DE number 4050951 (Why is no real title available?)
- scientific article; zbMATH DE number 1223634 (Why is no real title available?)
- Efficient analysis of concurrent constraint logic programs
- scientific article; zbMATH DE number 794260 (Why is no real title available?)
- scientific article; zbMATH DE number 1405453 (Why is no real title available?)
- scientific article; zbMATH DE number 1406236 (Why is no real title available?)
- scientific article; zbMATH DE number 1444329 (Why is no real title available?)
- True concurrency semantics for a linear logic programming language with broadcast communication
- Unfolding and fixpoint semantics of concurrent constraint logic programs
- Proving concurrent constraint programming correct, revisited
- Closures and Modules Within Linear Logic Concurrent Constraint Programming
- scientific article; zbMATH DE number 970730 (Why is no real title available?)
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
- Implementing logical connectives in constraint programming
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4375591)
