Pages that link to "Item:Q1343865"

The following pages link to Processes with probabilities, priority and time (Q1343865):

Displaying 22 items.

• A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
• A symbolic investigation of superspreaders (Q542018) (← links)
• From individuals to populations: a mean field semantics for process algebra (Q633693) (← links)
• A calculus and logic of resources and processes (Q855007) (← links)
• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time (Q1128976) (← links)
• A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems (Q1271643) (← links)
• Hiding resources that can fail: An axiomatic perspective (Q1607106) (← links)
• Performance measure sensitive congruences for Markovian process algebras (Q1853585) (← links)
• Discrete time generative-reactive probabilistic processes with different advancing speeds (Q1853593) (← links)
• Exploring probabilistic bisimulations. I (Q1941884) (← links)
• Deciding bisimilarity and similarity for probabilistic processes. (Q1975973) (← links)
• A general overview of formal languages for individual-based modelling of ecosystems (Q2423746) (← links)
• Quantitative information in the tuple space coordination model (Q2576948) (← links)
• On the verification of qualitative properties of probabilistic processes under fairness constraints. (Q2583540) (← links)
• Using process algebra to develop predator-prey models of within-host parasite dynamics (Q2635001) (← links)
• (Q2842863) (← links)
• An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA (Q3599097) (← links)
• Process Algebra Models of Population Dynamics (Q3599199) (← links)
• Algebra and logic for resource-based systems modelling (Q3643362) (← links)
• (Q5013824) (← links)
• Improved Continuous Approximation of PEPA Models through Epidemiological Examples (Q5404074) (← links)
• Process algebra for performance evaluation (Q5958464) (← links)