Finitary Fairness in Action Systems

DOI10.1007/978-3-642-39718-9_19zbMATH Open1405.68090OpenAlexW164668433MaRDI QIDQ2851915

Emil Sekerinski, Tian Zhang

Publication date: 4 October 2013

Published in: Theoretical Aspects of Computing – ICTAC 2013 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39718-9_19

zbMATH Keywords

modellingstepwise refinementterminationEvent-Bfinitary fairness

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Finitary Fairness in Action Systems

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