Record Details

Relational Semantics of Non-Deterministic Dataflow

BRICS Report Series

View Archive Info
 
 
Field Value
 
Title Relational Semantics of Non-Deterministic Dataflow
 
Creator Hildebrandt, Thomas Troels
Panangaden, Prakash
Winskel, Glynn
 
Description We recast dataflow in a modern categorical light using profunctors as a generalization of relations. The well known causal anomalies associated with relational semantics of indeterminate dataflow are avoided, but still we preservemuch of the intuitions of a relational model. The development fits with the view of categories of models for concurrency and the general treatment of bisimulation they provide. In particular it fits with the recent categorical formulation of feedback using traced monoidal categories. The payoffs are: (1) explicit relations to existing models and semantics, especially theusual axioms of monotone IO automata are read off from the definition of profunctors, (2) a new definition of bisimulation for dataflow, the proof of the congruence of which benefits from the preservation properties associated with open maps and (3) a treatment of higher-order dataflow as a biproduct,essentially by following the geometry of interaction programme.
 
Publisher Aarhus University
 
Date 1997-06-06
 
Type info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
 
Format application/pdf
 
Identifier https://tidsskrift.dk/brics/article/view/18962
10.7146/brics.v4i36.18962
 
Source BRICS Report Series; No 36 (1997): RS-36 Relational Semantics of Non-Deterministic Dataflow
BRICS Report Series; Nr. 36 (1997): RS-36 Relational Semantics of Non-Deterministic Dataflow
1601-5355
0909-0878
 
Language eng
 
Relation https://tidsskrift.dk/brics/article/view/18962/16601