Contractions in comparing concurrency semantics (Q919834): Difference between revisions

@@ Property / author @@
-Joost N. Kok
@@ Property / author: Joost N. Kok / rank @@
-Normal rank
@@ Property / author @@
+Joost N. Kok
@@ Property / author: Joost N. Kok / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Solving reflexive domain equations in a category of complete metric spaces
+Normal rank
@@ Property / cites work @@
+Countable nondeterminism and random assignment
@@ Property / cites work: Countable nondeterminism and random assignment / rank @@
+Normal rank
@@ Property / cites work @@
+Q3745260
@@ Property / cites work: Q3745260 / rank @@
+Normal rank
@@ Property / cites work @@
+Transition systems, metric spaces and ready sets in the semantics of uniform concurrency
+Normal rank
@@ Property / cites work @@
+Processes and the denotational semantics of concurrency
+Normal rank
@@ Property / cites work @@
+Q5520521
@@ Property / cites work: Q5520521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4150804
@@ Property / cites work: Q4150804 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of nondeterminism, concurrency, and communication
+Normal rank
@@ Property / cites work @@
+Q3907039
@@ Property / cites work: Q3907039 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Topologies on Spaces of Subsets
@@ Property / cites work: Topologies on Spaces of Subsets / 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 @@
+Q3857704
@@ Property / cites work: Q3857704 / rank @@
+Normal rank
@@ Property / cites work @@
+A Powerdomain Construction
@@ Property / cites work: A Powerdomain Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3657409
@@ Property / cites work: Q3657409 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3959414
@@ Property / cites work: Q3959414 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(90)90016-b
+Normal rank
@@ Property / OpenAlex ID @@
+W2245053867
@@ Property / OpenAlex ID: W2245053867 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:919834