Parole chiave di "Notes on Markovian Extension of a Dialect of Value Passing CCS"

Label

• Parole chiave di "Notes on Markovian Extension of a Dialect of Value Passing CCS" (literal)
• Keywords of "Notes on Markovian Extension of a Dialect of Value Passing CCS" (literal)

Insieme di parole chiave di

• Notes on Markovian Extension of a Dialect of Value Passing CCS (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)

Ha membro

• H.1 Models and Principles (Parola chiave)
• F.4 Mathematical Logic and Formal Languages (Parola chiave)
• 68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (Parola chiave)
• 68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (Parola chiave)
• Stochastic Process Algebra (Parola chiave)

Incoming links:

Insieme di parole chiave

• Notes on Markovian Extension of a Dialect of Value Passing CCS (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)

Membro di

• Stochastic Process Algebra (Parola chiave)
• H.1 Models and Principles (Parola chiave)
• F.4 Mathematical Logic and Formal Languages (Parola chiave)
• 68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (Parola chiave)
• 68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (Parola chiave)