Egalitarian State-Transition Systems

DOI10.1007/978-3-319-44802-2_6MaRDI QIDQ2827838zbMATH OpenOpenAlexWikidataFDO

Authors Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet

Publication date 21 October 2016

Published in Rewriting Logic and Its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-44802-2_6

zbMATH Keywords

Kripke structureLTSmodel checkingmodular specificationrewriting logicstate/transition structurestrategytemporal logic

Mathematics Subject Classification ID

Temporal logic (03B44) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• EGALITARIAN DISTRIBUTIONS IN COALITIONAL MODELS
• Egalitarian solutions in the core
• Egalitarianism and incentives
• A characterization of egalitarian equivalence
• Welfare egalitarianism in non-rival environments
• An axiomatization of the egalitarian solutions
• Egalitarian equivalent capital allocation
• The procedural egalitarian solution
• A simple axiomatization of the egalitarian solution
• Truncated egalitarian solutions

Cites work

• A rewriting-based model checker for the linear temporal logic of rewriting
• Algebraic laws for nondeterminism and concurrency
• Conditional rewriting logic as a unified model of concurrency
• Egalitarian State-Transition Systems
• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 4074504 (Why is no real title available?)
• Integrated Formal Methods
• Model checking TLR* guarantee formulas on infinite systems
• Results on the propositional \(\mu\)-calculus
• Symbolic Model Checking of Infinite-State Systems Using Narrowing
• Temporal logic can be more expressive
• The Linear Temporal Logic of Rewriting Maude Model Checker
• The Maude LTL model checker
• The Temporal Logic of Rewriting: A Gentle Introduction
• Three logics for branching bisimulation
• “Sometimes” and “not never” revisited

Cited in

(2)

• Egalitarian State-Transition Systems
• Compositional specification in rewriting logic

Describes a project that uses

Uses Software

• Maude

This page was built for publication: Egalitarian State-Transition Systems

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