A projective formalism applied to topological and probabilistic event structures (Q5756981): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Measures in Boolean Algebras
@@ Property / cites work: Measures in Boolean Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+An Extension Result for Continuous Valuations
@@ Property / cites work: An Extension Result for Continuous Valuations / rank @@
+Normal rank
@@ Property / cites work @@
+Metric semantics for true concurrent real time
@@ Property / cites work: Metric semantics for true concurrent real time / rank @@
+Normal rank
@@ Property / cites work @@
+True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
+Normal rank
@@ Property / cites work @@
+A metric for traces
@@ Property / cites work: A metric for traces / rank @@
+Normal rank
@@ Property / cites work @@
+Measure extension theorems for \(T_{0}\)-spaces
@@ Property / cites work: Measure extension theorems for \(T_{0}\)-spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Projective topology on bifinite domains and applications
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5756981