Sciweavers

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

33

REX
1989

favoriteEmaildiscussreport

64views Logical Reasoning» more REX 1989»

Composing Specifications

14 years 2 months ago

Composing Specifications

Download www.hpl.hp.com

Martín Abadi, Leslie Lamport

Real-time Traffic

Distributed And Parallel Computing | Logical Reasoning | REX 1989 |

claim paper

Related Content

» Composable specifications for structured sharedmemory communication

» Composing Visual Syntax for Domain Specific Languages

» Composing DomainSpecific Languages for WideScope Software Engineering Applications

» Composing Event Constraints in StateBased Specification

» A Specification Approach to Compose Mobile Web Services Using Service Chart Diagrams

» Composing Web Services Specifications Experiences in Implementing PolicyDriven Transaction...

» Composing Web Services through Automatic Reformulation of Service Specifications

» Selecting and Composing Web Services through Iterative Reformulation of Functional Specifi...

» DomainSpecific Languages for Composable Editor Plugins

Post Info
More Details (n/a)

Added	28 Aug 2010
Updated	28 Aug 2010
Type	Conference
Year	1989
Where	REX
Authors	Martín Abadi, Leslie Lamport

Comments (0)