Comparative metric semantics for concurrent PROLOG (Q915474): Difference between revisions

@@ Property / cites work @@
+Solving reflexive domain equations in a category of complete metric spaces
+Normal rank
@@ Property / cites work @@
+Q4428289
@@ Property / cites work: Q4428289 / rank @@
+Normal rank
@@ Property / cites work @@
+Countable nondeterminism and random assignment
@@ Property / cites work: Countable nondeterminism and random assignment / rank @@
+Normal rank
@@ Property / cites work @@
+Contributions to the Theory of Logic Programming
@@ Property / cites work: Contributions to the Theory of Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Operational and denotational semantics of prolog
@@ Property / cites work: Operational and denotational semantics of prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727355
@@ Property / cites work: Q3727355 / rank @@
+Normal rank
@@ Property / cites work @@
+PARLOG: parallel programming in logic
@@ Property / cites work: PARLOG: parallel programming in logic / rank @@
+Normal rank
@@ Property / cites work @@
+Comparative semantics for flow of control in logic programming without logic
+Normal rank
@@ Property / cites work @@
+Metric semantics for concurrency
@@ Property / cites work: Metric semantics for concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Processes and the denotational semantics of concurrency
+Normal rank
@@ Property / cites work @@
+Q3975139
@@ Property / cites work: Q3975139 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3361898
@@ Property / cites work: Q3361898 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4150804
@@ Property / cites work: Q4150804 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907039
@@ Property / cites work: Q3907039 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3787443
@@ Property / cites work: Q3787443 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3795188
@@ Property / cites work: Q3795188 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Specification-oriented semantics for communicating processes
+Normal rank
@@ Property / cites work @@
+Q3657409
@@ Property / cites work: Q3657409 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733434
@@ Property / cites work: Q4733434 / rank @@
+Normal rank
@@ Property / cites work @@
+Truly concurrent constraint programming
@@ Property / cites work: Truly concurrent constraint programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994465
@@ Property / cites work: Q3994465 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3805880
@@ Property / cites work: Q3805880 / rank @@
+Normal rank