Three metric domains of processes for bisimulation (Q5890043): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-58027-1_5
+Normal rank
@@ Property / OpenAlex ID @@
+W1562176620
@@ Property / OpenAlex ID: W1562176620 / rank @@
+Normal rank
@@ Property / cites work @@
+Denotational semantics of a parallel object-oriented language
+Normal rank
@@ Property / cites work @@
+A domain equation for bisimulation
@@ Property / cites work: A domain equation for bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992552
@@ Property / cites work: Q3992552 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving reflexive domain equations in a category of complete metric spaces
+Normal rank
@@ Property / cites work @@
+A layered semantics for a parallel object-oriented language
+Normal rank
@@ Property / cites work @@
+Linear time and branching time semantics for recursion with merge
+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 @@
+Q3347277
@@ Property / cites work: Q3347277 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994935
@@ Property / cites work: Q3994935 / rank @@
+Normal rank
@@ Property / cites work @@
+Connections between two theories of concurrency: Metric spaces and synchronization trees
+Normal rank
@@ Property / cites work @@
+Contractions in comparing concurrency semantics
@@ Property / cites work: Contractions in comparing concurrency semantics / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385545
@@ Property / cites work: Q4385545 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Processes and Their Syntax
@@ Property / cites work: Concurrent Processes and Their Syntax / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Processes as terms: non-well-founded models for bisimulation
+Normal rank
@@ Property / cites work @@
+Q3993676
@@ Property / cites work: Q3993676 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5890043