Searching for "On the Refinement of Non-Interference." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Comparing syntactic and semantic action refinement
by Ursula Goltz, Roberto Gorrieri, Arend Rensink — 1996 — Information and Computation
… OF SYNCHRONISING ACTIONS In this section we compare semantic and syntactic refinement for non-interference…
Cited by 12 (5 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB