Probabilistic π-Calculus and Event Structures (Q2870289): 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.entcs.2007.07.009
+Normal rank
@@ Property / OpenAlex ID @@
+W2293619108
@@ Property / OpenAlex ID: W2293619108 / rank @@
+Normal rank
@@ Property / cites work @@
+True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
+Normal rank
@@ Property / cites work @@
+Q2843720
@@ Property / cites work: Q2843720 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778815
@@ Property / cites work: Q2778815 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential algorithms on concrete data structures
@@ Property / cites work: Sequential algorithms on concrete data structures / rank @@
+Normal rank
@@ Property / cites work @@
+Event Structure Semantics for Nominal Calculi
@@ Property / cites work: Event Structure Semantics for Nominal Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Trustworthy Global Computing
@@ Property / cites work: Trustworthy Global Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic game semantics
@@ Property / cites work: Probabilistic game semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Free Choice Petri Nets
@@ Property / cites work: Free Choice Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for labelled Markov processes
@@ Property / cites work: Bisimulation for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic  -calculus and Quantitative Program Analysis
+Normal rank
@@ Property / cites work @@
+A Graph Abstract Machine Describing Event Structure Composition
+Normal rank
@@ Property / cites work @@
+Q4813199
@@ Property / cites work: Q4813199 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508299
@@ Property / cites work: Q4508299 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4937836
@@ Property / cites work: Q4937836 / rank @@
+Normal rank
@@ Property / cites work @@
+On full abstraction for PCF: I, II and III
@@ Property / cites work: On full abstraction for PCF: I, II and III / rank @@
+Normal rank
@@ Property / cites work @@
+Concrete domains
@@ Property / cites work: Concrete domains / rank @@
+Normal rank
@@ Property / cites work @@
+Systolic arrays for the recognition of permutation-invariant segments
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic lambda calculus and monads of probability distributions
+Normal rank
@@ Property / cites work @@
+Q3746897
@@ Property / cites work: Q3746897 / rank @@
+Normal rank
@@ Property / cites work @@
+\(\pi\)-calculus, internal mobility, and agent-passing calculi
+Normal rank
@@ Property / cites work @@
+Formal verification of timed properties of randomized distributed algorithms
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395949
@@ Property / cites work: Q3395949 / 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 @@
+Typed event structures and the linear \(\pi \)-calculus
+Normal rank
@@ Property / cites work @@
+Q2851333
@@ Property / cites work: Q2851333 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791268
@@ Property / cites work: Q4791268 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3667958
@@ Property / cites work: Q3667958 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4225153
@@ Property / cites work: Q4225153 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong normalisation in the \(\pi\)-calculus
@@ Property / cites work: Strong normalisation in the \(\pi\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738241
@@ Property / cites work: Q4738241 / rank @@
+Normal rank