1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem
Information security properties of reactive systems like non-interference often require relating different executions of the system to each other and following them simultaneously.…