BB05

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

Download

Download paper: (link)

Copyright notice:

Contact

Didier Bert

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)