17 citations · 17 across the 1 of their papers we have counts for
1 paper · 1 filter
Eike Best, Philippe Darondeau, Roberto Gorrieri
Non-interference, in transitive or intransitive form, is defined here over unbounded (Place/Transition) Petri nets. The definitions are adaptations of similar, well-accepted defini…