Applications and Theory of Petri Nets 2004
Subtitle: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings (Lecture Notes in Computer Science)
Contributors: Jordi Cortadella (Editor); Wolfgang Reisig (Editor)
Edition: 1 edition
Publisher: Springer
Published: August 5, 2004
Language: eng
Format: Paperback
Number of pages: 505
ISBN-13: 9783540222361
Subjects: Mathematical logic; Networking - General; Computers; Computers - General Information; Computer Books: General; Operating Systems - General; Computer Science; Discrete Mathematics; Computers / Computer Science; Programming - Software Development; Congresses; Congráes; Petri nets; Pâetri, Râeseaux de; Redes de petri (congressos); larpcal
First sentence: Non-interference has been defined in the literature as an extensional property based on some observational semantics: the high part of a system does not interfere with the low part if whatever is done at the high level produces the visible effect on the low part of the system.