Project: Toward a unifying framework for concurrency
since October 1994
concurrency, category theory, linear logic
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.