Localized fairness: A rewriting semantics

DOI10.1007/978-3-540-32033-3_19MaRDI QIDQ5703853zbMATH OpenOpenAlexFDO

Authors José Meseguer

Publication date 11 November 2005

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

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Recommendations

• Model checking LTLR formulas under localized fairness
• scientific article; zbMATH DE number 39877
• scientific article; zbMATH DE number 140260
• Termination of Fair Computations in Term Rewriting
• Fairness and partial order semantics

Cited in

(8)

• Appraising fairness in languages for distributed programming
• Abstract fairness and semantics
• Twenty years of rewriting logic
• Model checking LTLR formulas under localized fairness
• scientific article; zbMATH DE number 3921985 (Why is no real title available?)
• Algebraic simulations
• Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
• Termination of just/fair computations in term rewriting

Describes a project that uses

Uses Software

• Maude

This page was built for publication: Localized fairness: A rewriting semantics

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