A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions.

Hctor Ruz Barradas, Didier Bert

Browse the full IFM paper archive.