Communication among relations

A. Rabinovich, B. A. Trakhtenbrot

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

14 Scopus citations


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’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.

Original languageEnglish
Title of host publicationAutomata, Languages and Programming - l7th International Colloquium, Proceedings
EditorsMichael S. Paterson
PublisherSpringer Verlag
Number of pages14
ISBN (Print)9783540528265
StatePublished - 1990
Event17th International Colloquium on Automata, Languages and Programming, 1990 - Warwick, United Kingdom
Duration: 16 Jul 199020 Jul 1990

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume443 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference17th International Colloquium on Automata, Languages and Programming, 1990
Country/TerritoryUnited Kingdom


Dive into the research topics of 'Communication among relations'. Together they form a unique fingerprint.

Cite this