Interleaving vs True Concurrency: Some Instructive Security Examples (Q5100754): Difference between revisions

@@ Property / cites work @@
+A Causal View on Non-Interference*
@@ Property / cites work: A Causal View on Non-Interference* / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent bisimulations in Petri nets
@@ Property / cites work: Concurrent bisimulations in Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on Concurrency and Petri Nets
@@ Property / cites work: Lectures on Concurrency and Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Structural non-interference in elementary and trace nets
+Normal rank
@@ Property / cites work @@
+Q4430315
@@ Property / cites work: Q4430315 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247290
@@ Property / cites work: Q4247290 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798029
@@ Property / cites work: Q4798029 / rank @@
+Normal rank
@@ Property / cites work @@
+Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems
+Normal rank
@@ Property / cites work @@
+Q3975146
@@ Property / cites work: Q3975146 / rank @@
+Normal rank
@@ Property / cites work @@
+Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP
+Normal rank
@@ Property / cites work @@
+Q2760253
@@ Property / cites work: Q2760253 / rank @@
+Normal rank
@@ Property / cites work @@
+On Intransitive Non-interference in Some Models of Concurrency
+Normal rank
@@ Property / cites work @@
+Introduction to concurrency theory. Transition systems and CCS
+Normal rank
@@ Property / cites work @@
+Process algebras for Petri nets. The alphabetization of distributed systems
+Normal rank
@@ Property / cites work @@
+Verification of finite-state machines: a distributed approach
+Normal rank
@@ Property / cites work @@
+A Study on Team Bisimulations for BPP Nets
@@ Property / cites work: A Study on Team Bisimulations for BPP Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4506483
@@ Property / cites work: Q4506483 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of bisimilarity for Petri nets and some related problems
+Normal rank
@@ Property / cites work @@
+Formal verification of parallel programs
@@ Property / cites work: Formal verification of parallel programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727392
@@ Property / cites work: Q3727392 / rank @@
+Normal rank
@@ Property / cites work @@
+Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8--9, 2015. Proceedings
+Normal rank
@@ Property / cites work @@
+Three Partition Refinement Algorithms
@@ Property / cites work: Three Partition Refinement Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q3911403
@@ Property / cites work: Q3911403 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798025
@@ Property / cites work: Q4798025 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036588
@@ Property / cites work: Q4036588 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing Team Equivalence for Finite-State Machines
+Normal rank