Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL

Components provide an easy to use programming paradigm allowing for better re-usability of application code. In the context of distributed programming, autonomous hierarchical components provide a simple model for creating efficient applications. This paper presents a model for distributed components communicating asynchronously using futures

• Type: Journal
• Year: 2010
• Where: ENTCS
• Authors: Ludovic Henrio, Muhammad Uzair Khan
• Keywords: Autonomous Hierarchical Components, ENTCS 2010, Future Update Strategy, Model