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

• scientific article; zbMATH DE number 2086961
• Event fairness and non-interleaving concurrency
• Méthode axiomatique sur les propriétés de fatalité des programmes parallèles
• scientific article; zbMATH DE number 2080016
• Fairness and partial order semantics

Cited in

(2)

• scientific article; zbMATH DE number 2080016 (Why is no real title available?)
• scientific article; zbMATH DE number 2086961 (Why is no real title available?)

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)