Applying a testing approach to the Calculus of Fair Ambients (Q5850754): Difference between revisions

@@ Property / cites work @@
+Testing equivalence for mobile processes
@@ Property / cites work: Testing equivalence for mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+Anytime, anywhere
@@ Property / cites work: Anytime, anywhere / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Testing congruence for mobile processes
@@ Property / cites work: Testing congruence for mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+On quasi-open bisimulation
@@ Property / cites work: On quasi-open bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Fair ambients
@@ Property / cites work: Fair ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Equational properties of mobile ambients
@@ Property / cites work: Equational properties of mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Typing evolving ambients
@@ Property / cites work: Typing evolving ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Controlling interference in ambients
@@ Property / cites work: Controlling interference in ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation congruences in safe ambients
@@ Property / cites work: Bisimulation congruences in safe ambients / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Deriving Structural Labelled Transitions for Mobile Ambients
+Normal rank
@@ Property / cites work @@
+Q4791841
@@ Property / cites work: Q4791841 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484494
@@ Property / cites work: Q4484494 / rank @@
+Normal rank