Project: Toward a unifying framework for concurrency

Duration: since October 1994

Keywords: concurrency, category theory, linear logic

Objectives:

Our aim is, to develop an uniform categorical framework for the different known models of concurrency. This framework could be a step towards direct comparability and analysability of these models.

Linear logic permits in its multiplicative fragment a very natural way of specifying Petri nets, which are a prime model of concurrency. Categorical representations of fragments of linear logic exist and some attempts have been undertaken to apply these categories to linear logic models of Petri nets. Building on these results we aim at developing a set of categories that generalizes those results to contain other models of concurrency in a unified framework.