My HDR manuscript survey research on models for concurrent systems. It essentially covers two topics: (1) reversible computations and (2) graph rewriting for Systems biology.

We show that (1) and (2) can actually be modelled using traditional causal semantics for concurrency, which are based on event structures, a theory developed by Winskel in the late 80s.