Parole chiave di "MarCaSPiS: a Markovian extension of a Calculus for Services"
- Label
- Parole chiave di "MarCaSPiS: a Markovian extension of a Calculus for Services" (literal)
- Keywords of "MarCaSPiS: a Markovian extension of a Calculus for Services" (literal)
- Insieme di parole chiave di
- MarCaSPiS: a Markovian extension of a Calculus for Services (Articolo in rivista) (Prodotto della ricerca)
- 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)
- Calculi for Service Oriented Computing (Parola chiave)
Incoming links:
- Insieme di parole chiave
- MarCaSPiS: a Markovian extension of a Calculus for Services (Articolo in rivista) (Prodotto della ricerca)
- Membro di
- 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)
- Calculi for Service Oriented Computing (Parola chiave)
