BB05

H. Ruís Barradas, D. Bert. A Fixpoint Semantics of Event Systems with and without Fairness Assumptions. Rapport de Recherche LSR, Décembre 2005.

Télécharger l'article

Charger l'article : (link)

Copyright :

Contact

Didier Bert

Référence BibTex

@TechReport{BB05,
   Author = {Ruís Barradas, H. and Bert, D.},
   Title = {A Fixpoint Semantics of Event Systems with and without Fairness Assumptions},
   Institution = {LSR},
   Month = {December},
   Year = {2005}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)