Return to search

Non-interference properties for nondeterministic processes

No description available.
Identiferoai:union.ndltd.org:bl.uk/oai:ethos.bl.uk:325946
Date January 1999
CreatorsForster, Richard
PublisherUniversity of Oxford
Source SetsEthos UK
Detected LanguageEnglish
TypeElectronic Thesis or Dissertation

Page generated in 0.0014 seconds