@inproceedings{8ad55a5284f1425f90a101e7a69546b1,
title = "Communication among relations",
abstract = "We investigate the relationship between three kinds of interpreted nets: nets of processes, nets of relations and nets of functions (or of sets of functions). The respective semantic definitions are based on three fundamental constructs: synchronization, strong conjunction and least fixed point operator. In this way we relate notions from concurrency, logic and domain theory and explain phenomena like Kahn{\textquoteright}s Principle and the Brock-Ackerman anomaly for data flow networks. We advocate the analysis of these phenomena on the abstract level of processes, relations and functions over arbitrary F-domains instead of dealing only with concrete models of stream processing. In this way we get results which subsume and improve previous results on data flow networks and may be applied also to other formalisms describing distributed systems.",
author = "A. Rabinovich and Trakhtenbrot, {B. A.}",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1990.; 17th International Colloquium on Automata, Languages and Programming, 1990 ; Conference date: 16-07-1990 Through 20-07-1990",
year = "1990",
doi = "10.1007/bfb0032040",
language = "אנגלית",
isbn = "9783540528265",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "294--307",
editor = "Paterson, {Michael S.}",
booktitle = "Automata, Languages and Programming - l7th International Colloquium, Proceedings",
}