A Framework for Timed Concurrent Constraint Programming with External Functions (Q2867965): Difference between revisions

@@ Property / cites work @@
+A Framework for Timed Concurrent Constraint Programming with External Functions
+Normal rank
@@ Property / cites work @@
+A timed concurrent constraint language.
@@ Property / cites work: A timed concurrent constraint language. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3201744
@@ Property / cites work: Q3201744 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of timed concurrent constraint programs
+Normal rank
@@ Property / cites work @@
+Q4844168
@@ Property / cites work: Q4844168 / rank @@
+Normal rank
@@ Property / cites work @@
+The execution algorithm of mercury, an efficient purely declarative logic programming language
+Normal rank
@@ Property / cites work @@
+Decidability of infinite-state timed CCP processes and first-order LTL
+Normal rank
@@ Property / cites work @@
+Logic programming in the context of multiparadigm programming: the Oz experience
+Normal rank