Contributions

  • Jordi Cortadella (Editor) - Contributor
  • Wolfgang Reisig (Editor) - Contributor

Publication

2004-08-05 - Springer

Language

English

Word Count

126,250 words, Guess

Page Count

505 pages

Physical Format

Paperback

Identifiers

and 1 more
  • LibraryThing6363962

Classifications

  • LCCQA267 .I557 2004

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.

Subjects

Other Editions

  • Applications and Theory of Petri Nets 2004: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings (Lecture Notes in Computer Science)PaperbackSpringer2004-08-05

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!