Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Logical View of Composition and Refinement Mart'in Abadi \Lambda Gordon D. Plotkin y
 

Summary: A Logical View of Composition and Refinement
Mart'in Abadi \Lambda Gordon D. Plotkin y
Abstract
We define two logics of safety specifications for reac­
tive systems. The logics provide a setting for the
study of composition and refinement rules, and a
framework for the use of the modular specification
methods that these rules underpin. The two logics
arise naturally from extant specification approaches;
one of the logics is intuitionistic, while the other one
is linear.
1 Introduction
Modular, hierarchical methods for specifying reactive
systems [HP85] include rules for composing and re­
fining specifications (e.g., [dBdRR90]). The form of
the rules suggests a possible specification logic. In
it, the propositions would be system specifications;
the notations for combining specifications would be­
come logical connectives; and the rules for compo­
sition and refinement would be formulated as sound

  

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

 

Collections: Computer Technologies and Information Sciences