Causal Unfoldings (Q5875372): Difference between revisions

@@ label / en / label / en @@
+Causal Unfoldings
@@ Property / full work available at URL @@
+https://hal.science/hal-02863476
@@ Property / full work available at URL: https://hal.science/hal-02863476 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2970441721
@@ Property / OpenAlex ID: W2970441721 / rank @@
+Normal rank
@@ Property / title @@
+Causal Unfoldings (English)
@@ Property / title: Causal Unfoldings (English) / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5875372