Q2844039 (Q2844039): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Anytime, anywhere
@@ Property / cites work: Anytime, anywhere / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778816
@@ Property / cites work: Q2778816 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763663
@@ Property / cites work: Q2763663 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783317
@@ Property / cites work: Q4783317 / rank @@
+Normal rank
@@ Property / cites work @@
+Typing evolving ambients
@@ Property / cites work: Typing evolving ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Separability in the Ambient Logic
@@ Property / cites work: Separability in the Ambient Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / 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 @@
+Controlling interference in ambients
@@ Property / cites work: Controlling interference in ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Extensionality and intensionality of the ambient logics
+Normal rank