Systeme de transition sur les ordre Partiellement complet

• Résumé
  
• Introduction
  
  • 1.1 Construction de la catégorie CPO .
    
  • 1.1.1 Quelques définitions de bases.
    
  • 1.1.2 Quelques exemples d'opcs.
    
  • 1.1.3 Morphismes d'opcs .
    
  • 1.1.4 Topologie de Scott.
    
  • 1.1.5 Caractérisation des monos et épis dans la catégorie CPO.
    
  • 1.2 Produits d'opcs .
    
  • 1.3 Exponentiation dans CPO
    
  • 1.4 Coproduit des opc s
    
  • 1.5 Complétion d'un ensemble ordonné en un opc.
    
  • 2.1 Construction de la catégorie des systèmes de transition sur CPO.
    
  • 2.1.1 Quelques définitions de base.
    
  • 2.1.2 Quelques propriétés des systèmes de transition.
    
  • 2.1.3 Quelques exemples et contre exemples de systèmes de
    
  • 2.1.4 Morphismes de systèmes de transition.
    
  • 2.1.5 Quelques propriétés des morphismes de systèmes de tran-
    
  • 2.1.6 Quelques exemples de morphismes de systèmes de transi-
    
  • 2.2 Notion de bissimulation entre systèmes de transition sur CPO
    
  • 2.2.1 Quelques exemples de bissimulations .
    
  • 2.2.2 Construction de quelques bissimulations .
    
  • 2.3 Système de transition et coalgèbre d'un endo-
    
  • 2.3.2 Système de transition comme coalgèbre d'un foncteur.
    
• Bibliographie