Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Conjoining Specifications Mart'in Abadi and Leslie Lamport
 

Summary: Conjoining Specifications
Mart'in Abadi and Leslie Lamport
Fri 10 Mar 1995
This is a revised version of SRC Research Report 118. It will ap­
pear in ACM Transactions on Programming Languages and Sys­
tems.

Contents
1 Introduction 1
2 An Informal Overview 2
2.1 Decomposing Complete Systems : : : : : : : : : : : : : : : : : : : : 2
2.2 Composing Open Systems : : : : : : : : : : : : : : : : : : : : : : : : 4
3 Preliminaries 7
3.1 TLA : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 7
3.1.1 Review of the Syntax and Semantics : : : : : : : : : : : : : : 7
3.1.2 Interleaving and Noninterleaving Representations : : : : : : : 8
3.1.3 The Queue Example : : : : : : : : : : : : : : : : : : : : : : : 9
3.2 Implementation : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 10
3.3 Conditional Implementation : : : : : : : : : : : : : : : : : : : : : : : 12
3.4 Safety and Closure : : : : : : : : : : : : : : : : : : : : : : : : : : : : 12

  

Source: Abadi, Martín - Department of Computer Science, University of California at Santa Cruz

 

Collections: Computer Technologies and Information Sciences