Abstract fairness and semantics

DOI10.1016/S0304-3975(96)00237-XMaRDI QIDQ1391865zbMATH OpenFDO

Authors Doris Nolte, Lutz Priese

Publication date 23 July 1998

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

fairness

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 39877
• Fairness and partial order semantics
• Model Checking Software
• Explicit fairness in testing semantics
• Generalized fairness and context-free languages
• scientific article; zbMATH DE number 3921985
• Fairness of actions in system computations
• Term Rewriting and Applications
• On equivalence-completions of fairness assumptions

Cites work

• scientific article; zbMATH DE number 193318 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• About fair asynchrony
• Fairness, distances and degrees
• Four domains for concurrency
• Language-theoretic complexity of disjunctive sequences

This page was built for publication: Abstract fairness and semantics

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