Pages that link to "Item:Q1128976"

The following pages link to A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time (Q1128976):

Displaying 48 items.

• Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions (Q288785) (← links)
• Performance analysis of concurrent systems in algebra dtsiPBC (Q300304) (← links)
• Structural operational semantics for stochastic and weighted transition systems (Q383372) (← links)
• A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
• Tackling continuous state-space explosion in a Markovian process algebra (Q387988) (← links)
• Structural operational semantics for non-deterministic processes with quantitative aspects (Q507377) (← links)
• A randomized encoding of the \(\pi\)-calculus with mixed choice (Q555750) (← links)
• Weak bisimulation for probabilistic timed automata (Q606996) (← links)
• Formal techniques for performance analysis: blending SAN and PEPA (Q877152) (← links)
• Testing from a stochastic timed system with a fault model (Q1001893) (← links)
• Probabilistic mobile ambients (Q1006650) (← links)
• Optimal state-space lumping in Markov chains (Q1014448) (← links)
• A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems (Q1271643) (← links)
• On the use of MTBDDs for performability analysis and verification of stochastic systems. (Q1400289) (← links)
• Turning back time in Markovian process algebra. (Q1401206) (← links)
• The theory of interactive generalized semi-Markov processes (Q1603705) (← links)
• A compositional model to reason about end-to-end QoS in stochastic Reo connectors (Q1651010) (← links)
• Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses (Q1753998) (← links)
• A brief history of process algebra (Q1781995) (← links)
• Process algebras for systems diagnosis. (Q1852861) (← links)
• Reconciling real and stochastic time: the need for probabilistic refinement (Q1941867) (← links)
• Performance evaluation in stochastic process algebra dtsdPBC (Q2058309) (← links)
• Solving systems of bilinear equations for transition rate reconstruction (Q2145274) (← links)
• Discrete time stochastic and deterministic Petri box calculus dtsdPBC (Q2212703) (← links)
• Fluid approximation of broadcasting systems (Q2306023) (← links)
• A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols (Q2368990) (← links)
• Exact fluid lumpability in Markovian process algebra (Q2453115) (← links)
• A congruence relation for sPBC (Q2481583) (← links)
• A theory of stochastic systems. II: Process algebra (Q2575855) (← links)
• Separable equilibrium state probabilities via time reversal in Markovian process algebra (Q2576953) (← links)
• Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC (Q2633503) (← links)
• Categories of Timed Stochastic Relations (Q2805158) (← links)
• (Q2844828) (← links)
• Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular (Q2870196) (← links)
• Quantitative Analysis of Concurrent Reversible Computations (Q2945596) (← links)
• On the Semantics of Markov Automata (Q3012929) (← links)
• The How and Why of Interactive Markov Chains (Q3066128) (← links)
• Structural Analysis for Stochastic Process Algebra Models (Q3067461) (← links)
• An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA (Q3599097) (← links)
• An expressiveness study of priority in process calculi (Q3655761) (← links)
• An algebra-based method to associate rewards with EMPA terms (Q4571967) (← links)
• Linear Structures for Concurrency in Probabilistic Programming Languages (Q4923370) (← links)
• It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models (Q5014508) (← links)
• Fluid Analysis for a PEPA Model (Q5223232) (← links)
• Equivalence relations for modular performance evaluation in dtsPBC (Q5740349) (← links)
• Corrigendum to ``A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time'' (Q5941736) (← links)
• Process algebra for performance evaluation (Q5958464) (← links)
• Performance preserving equivalence for stochastic process algebra dtsdPBC (Q6587404) (← links)