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
    • Forme normali per testing
    • Completezza dell'assiomatizzazione