Home

Welcome to the KFuture wiki!

Related work

Frank S. de Boer, Dave Clarke, Einar Broch Johnsen. A Complete Guide to the Future Volume 4421 of the series Lecture Notes in Computer Science pp 316-330 pdf

Crystal Chang Din and Olaf Owe. A Sound and Complete Reasoning System for Asynchronous Communication with Shared Futures. The Journal of Logical and Algebraic Methods in Programming, vol. 83, no. 5-6, p. 360-383, 2014. ISSN 2352-2208. URL: pdf

Erika Ábrahám, Immo Grabe, Andreas Grüner, Martin Steffene. Behavioral interface description of an object-oriented language with futures and promises. The Journal of Logic and Algebraic Programming 78 (2008) 491–518. pdf

Ludovic Henrio and Muhammad Uzair Khan. Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL. Electronic Notes in Theoretical Computer Science 264 (2010) 35–53 1571-0661 © 2010 Elsevier B.V. pdf