Modelling remote concurrency with Ada. Case study of symmetric non-deterministic rendez-vous
Résumé
resume
Communication Dans Un Congrès
Année : 2007
Laboratoire CEDRIC : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01125309
Soumis le : vendredi 6 mars 2015-11:05:38
Dernière modification le : vendredi 5 août 2022-14:54:00
Dates et versions
Identifiants
- HAL Id : hal-01125309 , version 1
Citer
Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre. Modelling remote concurrency with Ada. Case study of symmetric non-deterministic rendez-vous. Ada-Europe''07 Int. Conf. on Reliable Software Technologies, Jan 2007, X, France. pp.192-207. ⟨hal-01125309⟩
Collections
5
Consultations
0
Téléchargements