True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures (Q2490114): Difference between revisions

@@ 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.1016/j.ic.2005.10.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2154150569
@@ Property / OpenAlex ID: W2154150569 / rank @@
+Normal rank
@@ Property / cites work @@
+Markov nets: probabilistic models for distributed and concurrent systems
+Normal rank
@@ Property / cites work @@
+Q4791268
@@ Property / cites work: Q4791268 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Free Choice Petri Nets
@@ Property / cites work: Free Choice Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3203061
@@ Property / cites work: Q3203061 / rank @@
+Normal rank
@@ Property / cites work @@
+Retracted: Semantic domains for combining probability and non-determinism
+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 @@
+True-concurrency probabilistic models: Markov nets and a law of large numbers
+Normal rank
@@ Property / cites work @@
+Concrete domains
@@ Property / cites work: Concrete domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003876
@@ Property / cites work: Q4003876 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2490114