Sciweavers

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

7

FM
1999
Springer

favoriteEmaildiscussreport

122views Formal Methods» more FM 1999»

Towards a Compositional Approach to the Design and Verification of Distributed Systems

13 years 8 months ago

Towards a Compositional Approach to the Design and Verification of Distributed Systems

Download www.cs.unh.edu

Michel Charpentier, K. Mani Chandy

Real-time Traffic

FM 1999 | Formal Methods |

claim paper

Related Content

» Using a Rigorous Approach for Engineering Web Service Compositions A Case Study

» Towards scalable compositional analysis by refactoring design models

» Toward a PiCalculus Based Verification Tool for Web Services Orchestrations

» Verification of UMLBased RealTime System Designs by Means of cTLA

» Towards Formal Verification of Web Service Composition

» Leveraging Eclipse for integrated modelbased engineering of web service compositions

» Distributed enactment of multiagent workflows temporal logic for web service composition

» Towards an Agent Based Approach for Verification of OWLS Process Models

» Simulation verification and automated composition of web services

Post Info
More Details (n/a)

Added	04 Aug 2010
Updated	04 Aug 2010
Type	Conference
Year	1999
Where	FM
Authors	Michel Charpentier, K. Mani Chandy

Comments (0)