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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(95)00262-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2033537467
@@ Property / OpenAlex ID: W2033537467 / rank @@
+Normal rank
@@ 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