Partiality, situations and branching time - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Partiality, situations and branching time

Fabio Del Prete
Correlating_possibilities_FINAL.pdf (1.51 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02364440 , version 1 (14-11-2019)

Identifiants

  • HAL Id : hal-02364440 , version 1

Citer

Fabio Del Prete. Partiality, situations and branching time. Workshop Correlating possibilities (satellite workshop of OASIS 2), Oct 2019, Nantes, France. ⟨hal-02364440⟩
102 Consultations
30 Téléchargements

Partager

Gmail Facebook X LinkedIn More