Travelled to:1 × Finland
1 × The Netherlands
Collaborated with:D.Bert
Talks about:assumpt (2) system (2) event (2) fair (2) properti (1) fixpoint (1) without (1) specif (1) semant (1) under (1)
Person: Héctor Ruíz Barradas
DBLP: Barradas:H=eacute=ctor_Ru=iacute=z
Contributed to:
20052002Wrote 2 papers:
- IFM-2005-BarradasB #fixpoint #semantics
- A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions (HRB, DB), pp. 327–346.
- IFM-2002-BarradasB #liveness #proving #specification
- Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems (HRB, DB), pp. 360–379.