Deciding Selective Declassification of Petri Nets

E. Best,P. Darondeau
DOI: https://doi.org/10.1007/978-3-642-28641-4_16
2012-03-24
Abstract:
What problem does this paper attempt to address?