Causal Unfoldings (Q5875372): Difference between revisions

@@ Property / cites work @@
+A brief history of process algebra
@@ Property / cites work: A brief history of process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222911
@@ Property / cites work: Q4222911 / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+The concurrent game semantics of Probabilistic PCF
+Normal rank
@@ Property / cites work @@
+Concurrent Quantum Strategies
@@ Property / cites work: Concurrent Quantum Strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Isomorphism theorems between models of mixed choice
+Normal rank
@@ Property / cites work @@
+Q4508299
@@ Property / cites work: Q4508299 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of concurrent computation. Proceedings of the international symposium, Evian, France, July 2-4, 1979
+Normal rank
@@ Property / cites work @@
+Q3750113
@@ Property / cites work: Q3750113 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3851636
@@ Property / cites work: Q3851636 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal verification of timed properties of randomized distributed algorithms
+Normal rank
@@ Property / cites work @@
+Validation of Stochastic Systems
@@ Property / cites work: Validation of Stochastic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic event structures and domains
@@ Property / cites work: Probabilistic event structures and domains / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic π-Calculus and Event Structures
@@ Property / cites work: Probabilistic π-Calculus and Event Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Event Structures with Symmetry
@@ Property / cites work: Event Structures with Symmetry / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic and Quantum Event Structures
@@ Property / cites work: Probabilistic and Quantum Event Structures / rank @@
+Normal rank