Sciweavers

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

4

IPPS
1999
IEEE

favoriteEmaildiscussreport

115views Distributed And Parallel Com...» more IPPS 1999»

From a Specification to an Equivalence Proof in Object-Oriented Parallelism

13 years 8 months ago

From a Specification to an Equivalence Proof in Object-Oriented Parallelism

Download ipdps.cc.gatech.edu

Isabelle Attali, Denis Caromel, Sylvain Lippi

Real-time Traffic

Distributed And Parallel Computing | IPPS 1999 |

claim paper

Related Content

» ObjectOriented Refinement and Proof using Behaviour Functions

» A Compositional Approach to Concurrent ObjectOriented Programming

» Component Customization for ObjectOriented Distributed RealTime Software Development

» Quality Driven Transformation Compositions for Object Oriented Migration

» RunTime Adaptability of Synchronization Policies in Concurrent Object Oriented Languages

» Prediction of Faultproneness at Early Phase in ObjectOriented Development

» A Logic Framework for a Semantics of ObjectOriented Data Modeling

» EquationBased ObjectOriented Languages and Tools

» Equivalent Semantic Translation from Parallel DEVS Models to Time Automata

Post Info
More Details (n/a)

Added	03 Aug 2010
Updated	03 Aug 2010
Type	Conference
Year	1999
Where	IPPS
Authors	Isabelle Attali, Denis Caromel, Sylvain Lippi

Comments (0)