68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Label

• 68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (literal)

Membro di

• Parole chiave di "On a uniform framework for the definition of stochastic process languages" (Insieme di parole chiave)
• Parole chiave di "Notes on non-Markovian Extension of Value Passing CCS" (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 "On a uniform framework for the definition of stochastic process languages---Full Version---" (Insieme di parole chiave)
• Keywords of "Combining timed coordination primitives and probabilistic tuple spaces" (Insieme di parole chiave)
• Parole chiave di "MarCaSPiS: a Markovian extension of a Calculus for Services" (Insieme di parole chiave)
• Parole chiave di "Rate-based transition systems for stochastic process calculi" (Insieme di parole chiave)

Value

• 68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (literal)

Incoming links:

Ha membro

• Parole chiave di "Notes on Markovian Extension of a Dialect of Value Passing CCS" (Insieme di parole chiave)
• Parole chiave di "Notes on non-Markovian Extension of Value Passing CCS" (Insieme di parole chiave)
• Parole chiave di "MarCaSPiS: a Markovian extension of a Calculus for Services" (Insieme di parole chiave)
• Parole chiave di "On a uniform framework for the definition of stochastic process languages---Full Version---" (Insieme di parole chiave)
• Keywords of "Combining timed coordination primitives and probabilistic tuple spaces" (Insieme di parole chiave)
• Parole chiave di "On a uniform framework for the definition of stochastic process languages" (Insieme di parole chiave)
• Parole chiave di "Rate-based transition systems for stochastic process calculi" (Insieme di parole chiave)