Next:
Indice
Indice
Note del corso di
Sistemi Concorrenti e Distribuiti
Sandro Tosi
Yuri Vignoli
Indice
Specifiche di Sistemi Concorrenti
Algebre di Processi
Labelled Transition Systems
Azioni interne ed esterne
Operatori
Processi Elementari
Operatori di Base
Operatori di Parallelismo
Operatori di Astrazione
Altri Operatori
Il Value-Passing
Il Calcolo CCS
Struttura Sintattica di CCS
Semantica Operazionale di CCS
Nozioni preliminari di algebra
Relazioni, preordini ed equivalenze
Contesti e congruenze
Equivalenze fra processi
Equivalenza di traccia
Equivalenza di traccia completa
Equivalenza per fallimenti
Testing equivalence
Equivalenze di bisimulazione
Bisimulazione ed equivalenza forte
Bisimulazione ed equivalenza debole (osservazionale)
Simulazione e doppia simulazione
Bisimulazione di branching
La bisimulazione
Bisimulazione forte
Congruenza forte
Bisimulazione debole
Congruenza debole
Assiomatizzazione della bisimulazione
Testing equivalence
Teoria di testing
Caratterizzazione alternativa
Caratterizzazione alternativa di
may
Caratterizzazione alternativa di
must
Assiomatizzazione di testing equivalence
Assiomi
Assiomi per testing congruence
Assiomi per
must
preorder
Assiomi per
may
preorder
Forme normali per testing
Completezza dell'assiomatizzazione
About this document ...
Morpheus 2004-02-10
