Metric completion versus ideal completion (Q672047): Difference between revisions

@@ Property / cites work @@
+Denotational semantics in the cpo and metric approach
+Normal rank
@@ Property / cites work @@
+The connection between initial and unique solutions of domain equations in the partial order and metric approach
+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 @@
+Q3699677
@@ Property / cites work: Q3699677 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3898534
@@ Property / cites work: Q3898534 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5748880
@@ Property / cites work: Q5748880 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4288818
@@ Property / cites work: Q4288818 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541833
@@ Property / cites work: Q5541833 / rank @@
+Normal rank
@@ Property / cites work @@
+The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\)
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Synchronization trees
@@ Property / cites work: Synchronization trees / rank @@
+Normal rank