|
 
|
[KPP07] Modelling remote concurrency with Ada. Case study of symmetric non-deterministic rendez-vous
Conférence Internationale avec comité de lecture : Ada-Europe''07 Int. Conf. on Reliable Software Technologies, January 2007, Vol. volume(12), pp.192-207, Series LNCS 4498,
motcle:
Résumé:
resume
Commentaires:
note
BibTeX
| @inproceedings { | |||
| KPP07, | |||
| title | = | "{Modelling remote concurrency with Ada. Case study of symmetric non-deterministic rendez-vous}", | |
| author | = | " C. Kaiser and C. Pajault and J. Pradat-Peyre ", | |
| booktitle | = | "{Ada-Europe''07 Int. Conf. on Reliable Software Technologies}", | |
| year | = | 2007, | |
| month | = | "January", | |
| series | = | "LNCS 4498", | |
| volume | = | volume, | |
| issue | = | 12, | |
| pages | = | "192-207", | |
| note | = | "{note}", | |
| } | |||
