Skip to main content
Article thumbnail
Location of Repository

Development of a distributed min/max component

By Max Fuchs, Ketil St Len and Fakultat Fur Informatik


We introduce a speci cation technique and a re nement calculus for networks of components communicating asynchronously via unbounded FIFO channels. Speci cations are formulated in a relational style. The given re nement rules allow modular system development in a step-wise, top-down manner. We employthe proposed formalism to specify and develop a so-called Min/Max Component. First an overview of the whole design process is given. Then certain steps of the development are described in detail.

Publisher: Verlag Shaker
Year: 1993
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.