Résumé | Vector addition systems with the ability to `fork' into independent
computations were originally defined in the study of propositional
linear and relevance logics. Recently, more ties with
multi-dimensional energy games, finite-system simulations, and
zero-reachability games were noticed. I shall survey both these
relationships and complexity results.
Based on work with Jean-Baptiste Courtois presented at MFCS (with a
full paper available on HAL: ),
and on ongoing work with Marcin Jurdzinski and Ranko Lazic. |