A Concurrent Semantics of Static Exceptions in a Parallel Programming Language

This paper aims at introducing a mechanism of exceptions in a parallel programming language, giving them a formal concurrent semantics in terms of preemptible and composable high-level Petri nets