Relations in Concurrency Invited talk ( corrected version )

@inproceedings{WinskelRelationsIC,
  title={Relations in Concurrency Invited talk ( corrected version )},
  author={Glynn Winskel}
}
The theme of this paper is profunctors, and their cen-trality and ubiquity in understanding concurrent computation. Profunctors (a.k.a. distributors, or bimodules) are a generalisation of relations to categories. Here they are first presented and motivated via spans of event structures, and the semantics of nondeterministic dataflow. Profunctors are shown… CONTINUE READING