Access control in mobile ambient calculi: a comparative view (Q930876): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2008.01.024
+Normal rank
@@ Property / OpenAlex ID @@
+W1977410879
@@ Property / OpenAlex ID: W1977410879 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2004
@@ Property / cites work: Mathematical Foundations of Computer Science 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5714432
@@ Property / cites work: Q5714432 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791832
@@ Property / cites work: Q4791832 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449234
@@ Property / cites work: Q4449234 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536435
@@ Property / cites work: Q4536435 / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Processes, Terms and Cycles: Steps on the Road to Infinity
+Normal rank
@@ Property / cites work @@
+Types for ambient and process mobility
@@ Property / cites work: Types for ambient and process mobility / rank @@
+Normal rank
@@ Property / cites work @@
+Q4673434
@@ Property / cites work: Q4673434 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2843918
@@ Property / cites work: Q2843918 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766539
@@ Property / cites work: Q2766539 / rank @@
+Normal rank
@@ Property / cites work @@
+Controlling interference in ambients
@@ Property / cites work: Controlling interference in ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / 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 @@
+Q4484495
@@ Property / cites work: Q4484495 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484494
@@ Property / cites work: Q4484494 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:930876