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

Jonathan Aldrich. The Success, Failure, and Future of Distributed Objects. FOOF position statement. pdf

Denis Caromel, Ludovic Henrio, Bernard Paul Serpette. Asynchronous sequential processes. pdf

JVM concurrency: Java and Scala concurrency basics The example of chunked distance calculation in Java with multiple threads.