Parole chiave di "TR 09: Coalgebraic bisimulation of FuTS"
- Label
- Parole chiave di "TR 09: Coalgebraic bisimulation of FuTS" (literal)
- Keywords of "TR 09: Coalgebraic bisimulation of FuTS" (literal)
- Insieme di parole chiave di
- TR 09: Coalgebraic bisimulation of FuTS (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Ha membro
- MATHEMATICAL LOGIC AND FORMAL LANGUAGES (Parola chiave)
- Structured Operational Semantics (Parola chiave)
- Stochastic Process Calculi (Parola chiave)
- Coalgebras (Parola chiave)
- Continuous Time Markov Chains (Parola chiave)
- MODELS AND PRINCIPLES (Parola chiave)
- Category Theory (Parola chiave)
Incoming links:
- Insieme di parole chiave
- TR 09: Coalgebraic bisimulation of FuTS (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
- Membro di
- MATHEMATICAL LOGIC AND FORMAL LANGUAGES (Parola chiave)
- Structured Operational Semantics (Parola chiave)
- Stochastic Process Calculi (Parola chiave)
- Coalgebras (Parola chiave)
- Continuous Time Markov Chains (Parola chiave)
- MODELS AND PRINCIPLES (Parola chiave)
- Category Theory (Parola chiave)