Projective topology on bifinite domains and applications (Q854172): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2006.07.047
+Normal rank
@@ Property / OpenAlex ID @@
+W2156151399
@@ Property / OpenAlex ID: W2156151399 / rank @@
+Normal rank
@@ Property / cites work @@
+True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
+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 @@
+Markov nets: probabilistic models for distributed and concurrent systems
+Normal rank
@@ Property / cites work @@
+Q5560061
@@ Property / cites work: Q5560061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3843687
@@ Property / cites work: Q3843687 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Measures in Boolean Algebras
@@ Property / cites work: Measures in Boolean Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997287
@@ Property / cites work: Q3997287 / 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 @@
+Petri nets, event structures and domains. I
@@ Property / cites work: Petri nets, event structures and domains. I / rank @@
+Normal rank
@@ Property / cites work @@
+A Powerdomain Construction
@@ Property / cites work: A Powerdomain Construction / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank