Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines (Q3458151): Difference between revisions

@@ Property / cites work @@
+Abstract State Machines
@@ Property / cites work: Abstract State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Ambient abstract state machines with applications
@@ Property / cites work: Ambient abstract state machines with applications / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of processes with localities
@@ Property / cites work: A theory of processes with localities / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed bisimulations
@@ Property / cites work: Distributed bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5294158
@@ Property / cites work: Q5294158 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational properties of mobile ambients
@@ Property / cites work: Equational properties of mobile ambients / rank @@
+Normal rank