Keywords of "State to function labelled transition systems: a uniform framework for defining stochastic process calculi"

Label

• Keywords of "State to function labelled transition systems: a uniform framework for defining stochastic process calculi" (literal)
• Parole chiave di "State to function labelled transition systems: a uniform framework for defining stochastic process calculi" (literal)

Insieme di parole chiave di

• State to function labelled transition systems: a uniform framework for defining stochastic process calculi (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)

Ha membro

• Continuous Time Markov Chains; Stochastic Process Calculi; Structured Operational Semantics (Parola chiave)

Incoming links:

Insieme di parole chiave

• State to function labelled transition systems: a uniform framework for defining stochastic process calculi (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)

Membro di

• Continuous Time Markov Chains; Stochastic Process Calculi; Structured Operational Semantics (Parola chiave)