Parole chiave di "Session types for orchestration charts"
- Label
- Parole chiave di "Session types for orchestration charts" (literal)
- Keywords of "Session types for orchestration charts" (literal)
- Insieme di parole chiave di
- Session types for orchestration charts (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Ha membro
- Service Oriented Architectures (Parola chiave)
- D.2.4 Software/Program Verification (Parola chiave)
- Behavioural types (Parola chiave)
- D.2.11 Software Architectures (Parola chiave)
Incoming links:
- Insieme di parole chiave
- Session types for orchestration charts (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Membro di
- D.2.4 Software/Program Verification (Parola chiave)
- D.2.11 Software Architectures (Parola chiave)
- Service Oriented Architectures (Parola chiave)
- Behavioural types (Parola chiave)
