Stochastic Process Algebra
- Label
- Stochastic Process Algebra (literal)
- Membro di
- Keywords of "On a uniform framework for the definition of stochastic process languages" (Insieme di parole chiave)
- Keywords of "Modelling crowd dynamics in Bio-PEPA - Extended Abstract" (Insieme di parole chiave)
- Keywords of "Resilience of Interaction Techniques to Interrupts: A formal model-based approach" (Insieme di parole chiave)
- Parole chiave di "Rate-Based Transition Systems for Stochastic Process Calculi" (Insieme di parole chiave)
- Keywords of "A combined process algebraic, agent and fluid flow approach to emergent crowd behaviour" (Insieme di parole chiave)
- Parole chiave di "Notes on Markovian Extension of a Dialect of Value Passing CCS" (Insieme di parole chiave)
- Parole chiave di "Thinkteam with replicated data repositories: stochastic model checking in industry" (Insieme di parole chiave)
- Value
- Stochastic Process Algebra (literal)
Incoming links:
- Ha membro
- Parole chiave di "Notes on Markovian Extension of a Dialect of Value Passing CCS" (Insieme di parole chiave)
- Keywords of "Resilience of Interaction Techniques to Interrupts: A formal model-based approach" (Insieme di parole chiave)
- Parole chiave di "Thinkteam with replicated data repositories: stochastic model checking in industry" (Insieme di parole chiave)
- Keywords of "Modelling crowd dynamics in Bio-PEPA - Extended Abstract" (Insieme di parole chiave)
- Parole chiave di "Rate-Based Transition Systems for Stochastic Process Calculi" (Insieme di parole chiave)
- Keywords of "A combined process algebraic, agent and fluid flow approach to emergent crowd behaviour" (Insieme di parole chiave)
- Keywords of "On a uniform framework for the definition of stochastic process languages" (Insieme di parole chiave)
