Behavioural typing for safe ambients (Q1869978): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q2906944
@@ Property / cites work: Q2906944 / rank @@
+Normal rank
@@ Property / cites work @@
+Controlling interference in ambients
@@ Property / cites work: Controlling interference in ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Secure safe ambients
@@ Property / cites work: Secure safe ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q4116055
@@ Property / cites work: Q4116055 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763674
@@ Property / cites work: Q2763674 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536435
@@ Property / cites work: Q4536435 / rank @@
+Normal rank
@@ Property / cites work @@
+Shape analysis for mobile ambients
@@ Property / cites work: Shape analysis for mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q4778710
@@ Property / cites work: Q4778710 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4778709
@@ Property / cites work: Q4778709 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763677
@@ Property / cites work: Q2763677 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1869978