Relational Semantics of Non-Deterministic Dataflow

Forfattere

  • Thomas Troels Hildebrandt
  • Prakash Panangaden
  • Glynn Winskel

DOI:

https://doi.org/10.7146/brics.v4i36.18962

Resumé

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 preserve
much 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 the
usual 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.

Downloads

Publiceret

1997-06-06

Citation/Eksport

Hildebrandt, T. T., Panangaden, P., & Winskel, G. (1997). Relational Semantics of Non-Deterministic Dataflow. BRICS Report Series, 4(36). https://doi.org/10.7146/brics.v4i36.18962

Nummer

Nr. 36 (1997): RS-36 Relational Semantics of Non-Deterministic Dataflow

Sektion

Artikler

Licens

Authors who publish with this journal agree to the following terms:

    1. Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.

    1. Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.

  1. Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (See The Effect of Open Access).