Twentieth Annual IEEE Symposium on

Logic in Computer Science (LICS 2005)

Invited Talk: Relations in Concurrency (at LICS 2005)

Authors: Glynn Winskel


The theme of this paper is profunctors, and their centrality 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 to play a key role in relating models for concurrency and to support an interpretation as higher-order processes (where input and output may be processes). Two recent directions of research are described. One is concerned with a language and computational interpretation for profunctors. This addresses the duality between input and output in profunctors. The other is to investigate general spans of event structures (the spans can be viewed as special profunctors) to give causal semantics to higher-order processes. For this it is useful to generalise event structures to allow events which "persist."


    author = 	 {Glynn Winskel},
    title = 	 {Relations in Concurrency},
    booktitle =  {Proceedings of the Twentieth Annual IEEE Symp. on Logic in Computer Science, {LICS} 2005},
    year =	 2005,
    editor =	 {Prakash Panangaden},
    month =	 {June}, 
    pages =      {2--11},
    location =   {Chicago, USA}, 
    note =       {Invited Talk},
    publisher =	 {IEEE Computer Society Press}