Abstract interpretation of temporal concurrent constraint programs (Q4592982): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.2552
@@ Property / arXiv ID: 1312.2552 / rank @@
+Normal rank
@@ Property / cites work @@
+Two classes of Boolean functions for dependency analysis
+Normal rank
@@ Property / cites work @@
+The Esterel synchronous programming language: Design, semantics, implementation
+Normal rank
@@ Property / cites work @@
+Automata, languages and programming. 28th international colloquium, ICALP 2001, Crete, Greece, July 8--12, 2001. Proceedings
+Normal rank
@@ Property / cites work @@
+A confluent semantic basis for the analysis of concurrent constraint logic programs
+Normal rank
@@ Property / cites work @@
+Abstract diagnosis for timed concurrent constraint programs
+Normal rank
@@ Property / cites work @@
+Abstract interpretation and application to logic programs
+Normal rank
@@ Property / cites work @@
+A timed concurrent constraint language.
@@ Property / cites work: A timed concurrent constraint language. / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterminism and infinite computations in constraint programming
+Normal rank
@@ Property / cites work @@
+On the security of public key protocols
@@ Property / cites work: On the security of public key protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Linear concurrent constraint programming: Operational and phase semantics
+Normal rank
@@ Property / cites work @@
+Confluence in concurrent constraint programming
@@ Property / cites work: Confluence in concurrent constraint programming / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint logic programming with dynamic scheduling: A semantics based on closure operators
+Normal rank
@@ Property / cites work @@
+Declarative Diagnosis of Temporal Concurrent Constraint Programs
+Normal rank
@@ Property / cites work @@
+Automatic verification of timed concurrent constraint programs
+Normal rank
@@ Property / cites work @@
+Generalized semantics and abstract interpretation for constraint logic programs
+Normal rank
@@ Property / cites work @@
+Closures and Modules Within Linear Logic Concurrent Constraint Programming
+Normal rank
@@ Property / cites work @@
+Design, implementation, and evaluation of the constraint language cc(FD)
+Normal rank
@@ Property / cites work @@
+Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming
+Normal rank
@@ Property / cites work @@
+Q4847021
@@ Property / cites work: Q4847021 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3150207
@@ Property / cites work: Q3150207 / rank @@
+Normal rank
@@ Property / cites work @@
+Models and emerging trends of concurrent constraint programming
+Normal rank
@@ Property / cites work @@
+Truly concurrent constraint programming
@@ Property / cites work: Truly concurrent constraint programming / rank @@
+Normal rank
@@ Property / cites work @@
+Enumeration of success patterns in logic programs
@@ Property / cites work: Enumeration of success patterns in logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Constraints in computational logics. 1st international conference, CCL '94, Munich, Germany, September 7--9, 1994. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4499205
@@ Property / cites work: Q4499205 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4259957
@@ Property / cites work: Q4259957 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2046682249
@@ Property / OpenAlex ID: W2046682249 / rank @@
+Normal rank