Checking noninterference in timed CSP (Q1941887): Difference between revisions

@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3146271
@@ Property / cites work: Q3146271 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4461952
@@ Property / cites work: Q4461952 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754157
@@ Property / cites work: Q2754157 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2852365
@@ Property / cites work: Q2852365 / rank @@
+Normal rank
@@ Property / cites work @@
+The Shadow Knows: Refinement of Ignorance in Sequential Programs
+Normal rank
@@ Property / cites work @@
+Q4472226
@@ Property / cites work: Q4472226 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4457839
@@ Property / cites work: Q4457839 / rank @@
+Normal rank
@@ Property / cites work @@
+A timed model for communicating sequential processes
+Normal rank
@@ Property / cites work @@
+The timed failures -- Stability model for CSP
@@ Property / cites work: The timed failures -- Stability model for CSP / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence Thanks to Extensional Determinism
@@ Property / cites work: Confluence Thanks to Extensional Determinism / rank @@
+Normal rank
@@ Property / cites work @@
+Understanding concurrent systems
@@ Property / cites work: Understanding concurrent systems / rank @@
+Normal rank