@inproceedings{13285c2dab2244df99091f89192bfa2e,
title = "Equations for describing dynamic nets of communicating systems",
abstract = "We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical systems of recursive equations for streams. We give logical rules that describe the communication within a net and the dynamic creation of components, channels and rearrangement of the net structure. Such net transformations are based on a calculus of declarations of identifiers for data elements and especially for streams and equational logic. We demonstrate the modelling of interactive systems that correspond to dynamically changing net structures as obtained in systems with dynamic process creation (such as in object oriented approaches) within a framework of classical equational logic.",
author = "Manfred Broy",
note = "Publisher Copyright: {\textcopyright} Springer-Vedag Berlin Heidelberg 1995.; 10th Workshop on Specification of Abstract Data Types was held Joint with the 5th COMPASS Workshop, 1994 ; Conference date: 30-05-1994 Through 03-06-1994",
year = "1995",
doi = "10.1007/bfb0014427",
language = "English",
isbn = "354059132X",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "170--187",
editor = "Egidio Astesiano and Gianna Reggio and Andrzej Tarlecki and Andrzej Tarlecki",
booktitle = "Recent Trends in Data Type Specification - 10th Workshop on Specification of Abstract Data Types with 5th COMPASS Workshop, Selected Papers",
}