Refinements of a Process

  • Albert Fleischmann

Abstract

This chapter describes how specification and programming techniques for sequential programs are incorporated into PASS.

Keywords

encapSUlation Active Element 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Albert Fleischmann
    • 1
  1. 1.PfaffenhofenGermany

Personalised recommendations