.gif)
] Filters: Author is Tobias Prehn [Clear All Filters]
Keep it Fair: Equivalences,
, Neuchâtel, Switzerland, EPTCS, 08/2017.
Abstract
Download: ICE_2017_fairness_equivalences_preprint.pdf (204.92 KB)
"Keep it fair: Equivalence and composition",
Journal of Logical and Algebraic Methods in Programming, vol. 104, 2019.
Abstract