Hector Ruiz Barradas (LSR - IMAG)

Identifiers

No identifiers captured yet.

Papers (2)

1. A Fixpoint Semantics of Event Systems with and without Fairness Assumptions cs.LO · 2005 · author #1
2. Proof obligations for specification and refinement of liveness properties under weak fairness cs.LO · 2005 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Didier Bert (LSR - IMAG) 2 shared papers