@inproceedings{fa282047b37a4e55b1a5ecd104c23cb4,
title = "Algebraic specification of reactive systems",
abstract = "We present an algebraic method for the specification of reactive distributed systems. We introduce basic operators on specifications making the set of specifications into a specification algebra. This allows us to work with an algebra of system specifications in analogy to the process algebras that provide algebras of reactive programs. However, in contrast to process algebras we work with a concrete representation (a mathematical system model) of specifications and use algebaric equations to specify components and not programming languages. A specification is represented by a predicate that describes a set of behaviors. A deterministic component has exactly one behavior. A behavior is represented by a stream processing function. We introduce operations on behaviors and lift them to specifications. We show how algebraic system specifications can be used as an algebraic and logical basis for state automata specifications and state transition diagrams.",
author = "Manfred Broy",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1996.; 5th International Conference on Algebraic Methodology and Software Technology, AMAST 1996 ; Conference date: 01-07-1996 Through 05-07-1996",
year = "1996",
doi = "10.1007/bfb0014335",
language = "English",
isbn = "9783540614630",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "487--503",
editor = "Martin Wirsing and Maurice Nivat",
booktitle = "Algebraic Methodology and Software Technology - 5th International Conference, AMAST 1996, Proceedings",
}