Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Petri nets, CongressesEdition | Availability |
---|---|
1
Applications and Theory of Petri Nets 2004: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings
2004, Springer London, Limited
in English
3540277935 9783540277934
|
zzzz
Libraries near you:
WorldCat
|
2
Applications and Theory of Petri Nets 2004: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings (Lecture Notes in Computer Science)
August 5, 2004, Springer
Paperback
in English
- 1 edition
3540222367 9783540222361
|
aaaa
Libraries near you:
WorldCat
|
Book Details
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."
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?February 25, 2022 | Edited by ImportBot | import existing book |
June 29, 2019 | Edited by MARC Bot | import existing book |
July 28, 2014 | Created by ImportBot | import new book |