Timany, A., Gregersen, S. O., Stefanesco, L., Hinrichsen, J. K., Gondelman, L., Nieto, A., & Birkedal, L. (2021). Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement.
Chicago-Zitierstil (17. Ausg.)Timany, Amin, Simon Oddershede Gregersen, Léo Stefanesco, Jonas Kastberg Hinrichsen, Léon Gondelman, Abel Nieto, und Lars Birkedal. Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement. 2021.
MLA-Zitierstil (9. Ausg.)Timany, Amin, et al. Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement. 2021.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.