Concurrency, σ-Algebras, and Probabilistic Fairness (Q3617742): Difference between revisions

@@ Property / author @@
+Albert Benveniste
@@ Property / author: Albert Benveniste / rank @@
+Normal rank
@@ 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.1007/978-3-642-00596-1_27
+Normal rank
@@ Property / OpenAlex ID @@
+W1541860998
@@ Property / OpenAlex ID: W1541860998 / rank @@
+Normal rank
@@ Property / cites work @@
+Applications and Theory of Petri Nets 2005
@@ Property / cites work: Applications and Theory of Petri Nets 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+A projective formalism applied to topological and probabilistic event structures
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
+Normal rank
@@ Property / cites work @@
+True-concurrency probabilistic models: Markov nets and a law of large numbers
+Normal rank
@@ Property / cites work @@
+Q4763607
@@ Property / cites work: Q4763607 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5563135
@@ Property / cites work: Q5563135 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844076
@@ Property / cites work: Q2844076 / rank @@
+Normal rank
@@ Property / cites work @@
+Fairness, distances and degrees
@@ Property / cites work: Fairness, distances and degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Approximating labelled Markov processes
@@ Property / cites work: Approximating labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508299
@@ Property / cites work: Q4508299 / rank @@
+Normal rank
@@ Property / cites work @@
+A Compositional Approach to Performance Modelling
@@ Property / cites work: A Compositional Approach to Performance Modelling / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic event structures and domains
@@ Property / cites work: Probabilistic event structures and domains / rank @@
+Normal rank