Home › Biblio

Biblio

Export 2 results:
Sort by: Author Keyword Title [ Type (Desc)] Year
Filters: Author is Tobias Prehn  [Clear All Filters]
Journal Article
Mennicke, S., and T. Prehn, "Keep it fair: Equivalence and composition", Journal of Logical and Algebraic Methods in Programming, vol. 104, 2019. Abstract
Conference Paper
Prehn, T., and S. Mennicke, Keep it Fair: Equivalences, , Neuchâtel, Switzerland, EPTCS, 08/2017. Abstract  Download: ICE_2017_fairness_equivalences_preprint.pdf (204.92 KB)