Action Refinement in Process Algebra and Security Issues (Q5504602): Difference between revisions

@@ Property / cites work @@
+Adding action refinement to a finite process algebra
+Normal rank
@@ Property / cites work @@
+A Proof System for Information Flow Security
@@ Property / cites work: A Proof System for Information Flow Security / rank @@
+Normal rank
@@ Property / cites work @@
+Action Refinement in Process Algebra and Security Issues
+Normal rank
@@ Property / cites work @@
+Q4734781
@@ Property / cites work: Q4734781 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement
+Normal rank
@@ Property / cites work @@
+Q4296298
@@ Property / cites work: Q4296298 / rank @@
+Normal rank
@@ Property / cites work @@
+A causal operational semantics of action refinement
+Normal rank
@@ Property / cites work @@
+Q4798029
@@ Property / cites work: Q4798029 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing syntactic and semantic action refinement
+Normal rank
@@ Property / cites work @@
+Q2760253
@@ Property / cites work: Q2760253 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4035257
@@ Property / cites work: Q4035257 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3975146
@@ Property / cites work: Q3975146 / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement of actions and equivalence notions for concurrent systems
+Normal rank
@@ Property / cites work @@
+The difference between splitting in \(n\) and \(n+1\)
+Normal rank
@@ Property / cites work @@
+Program development by stepwise refinement
@@ Property / cites work: Program development by stepwise refinement / rank @@
+Normal rank