Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

ENTCS
2010

favoriteEmaildiscussreport

130views more ENTCS 2010»

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

13 years 4 months ago

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

Download hal.archives-ouvertes.fr

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

Ludovic Henrio, Muhammad Uzair Khan

Real-time Traffic

Autonomous Hierarchical Components | ENTCS 2010 | Future Update Strategy | Model |

claim paper

Related Content

» A Framework for Reasoning on Component Composition

» A Bytecode Logic for JML and Types

» An Asynchronous Distributed Component Model and Its Semantics

» A Complete Guide to the Future

» Observable Behavior of Dynamic Systems Component Reasoning for Concurrent Objects

» Secured Information Flow for Asynchronous Sequential Processes

» A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems

Post Info
More Details (n/a)

Added	10 Dec 2010
Updated	10 Dec 2010
Type	Journal
Year	2010
Where	ENTCS
Authors	Ludovic Henrio, Muhammad Uzair Khan

Comments (0)