Views of a memory cell

Walter Dosch*, Annette Stümpel

*Corresponding author for this work
5 Citations (Scopus)


We model a memory cell in the setting of stream processing functions from different points of view. The external view describes the input/output behaviour of the component, the transition view captures the stepwise transitions, the state-based view discloses the internal structure, and the trace view records the sequences of events. The different views are systematically derived from the external view following sound transformation rules. The case study exemplifies general methods for the specification and refinement of state-based components in distributed systems.

Original languageEnglish
Title of host publicationAdvances in Automation, Multimedia and Video Systems, and Modern Computer Science
Number of pages9
PublisherWorld Scientific and Engineering Academy and Society
Publication date01.12.2001
ISBN (Print)9608052440
Publication statusPublished - 01.12.2001


Dive into the research topics of 'Views of a memory cell'. Together they form a unique fingerprint.

Cite this