Gained and Excluded Private Actions by Process Observations
Damas P. Gruska · Fundamenta Informaticae · 2011
Formalisms for description how much information on private actions can be obtained by observing public ones are presented. Two sets of private actions are considered. The set of actions which execution is guaranteed according to observations and the