@inproceedings{e9ee7d63f5ad4373aeae8a7404625b03,
title = "Fibrational semantics of dataflow networks",
abstract = "Beginning with the category Dom of Scott domains and continuous maps, we introduce a syntax for dataflow networks as {"}systems of inequalities,{"} and provide an associated operational semantics. We observe that, under this semantics, a system of inequalities determines a two-sided fibration in Dom. This leads to the introduction of a certain class of cartesian arrows of spans as a notion of morphism for systems. The resulting structure Sys, consisting of domains, systems, and morphisms, forms a bicategory that embeds Dom up to equivalence and is suitable as a semantic model for nondeterministic networks. Isomorphism in Sys amounts to a notion of system equivalence {"}up to deterministic internal computations.",
author = "Stark, \{Eugene W.\}",
note = "Publisher Copyright: {\textcopyright} 1998, Springer Verlag. All rights reserved.; 9th International Conference on Concurrency Theory, CONCUR 1998 ; Conference date: 08-09-1998 Through 11-09-1998",
year = "1998",
doi = "10.1007/bfb0055650",
language = "English",
isbn = "9783540648963",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "597--612",
editor = "Davide Sangiorgi and \{de Simone\}, Robert",
booktitle = "CONCUR 1998 Concurrency Theory - 9th International Conference, Proceedings",
}