A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions

DOI10.1007/11589976_19MaRDI QIDQ5429311zbMATH OpenOpenAlexFDO

Authors Héctor Ruíz Barradas, Didier Bert

Publication date 29 November 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11589976_19

zbMATH Keywords

action systemsevent systemsfairnessfixpointsLiveness propertiesminimal progressset transformerunity logicweak fairness

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Specification and proof of liveness properties under fairness assumptions in B event systems
• Event fairness and non-interleaving concurrency
• Méthode axiomatique sur les propriétés de fatalité des programmes parallèles
• Verification of dynamic constraints for B event systems under fairness assumptions
• Fairness and partial order semantics

Cited in

(2)

• Verification of dynamic constraints for B event systems under fairness assumptions
• Specification and proof of liveness properties under fairness assumptions in B event systems

This page was built for publication: A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5429311)