Applications and Theory of Petri Nets 2004

25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings (Lecture Notes in Computer Science)

1 edition
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read


Download Options

Buy this book

Last edited by ImportBot
February 25, 2022 | History

Applications and Theory of Petri Nets 2004

25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings (Lecture Notes in Computer Science)

1 edition
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Language
English
Pages
505

Buy this book

Previews available in: English

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

Library of Congress
QA267 .I557 2004, QA8.9-10.3

The Physical Object

Format
Paperback
Number of pages
505
Dimensions
9.2 x 6.1 x 1.2 inches
Weight
1.6 pounds

ID Numbers

Open Library
OL9054801M
Internet Archive
applicationstheo2004cort
ISBN 10
3540222367
ISBN 13
9783540222361
LCCN
2004107502
Library Thing
6363962

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
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