A typed encoding of boxed into safe ambients (Q2491209): 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.1007/s00236-005-0002-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2034719240
@@ Property / OpenAlex ID: W2034719240 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763674
@@ Property / cites work: Q2763674 / rank @@
+Normal rank
@@ Property / cites work @@
+Orderly communication in the ambient calculus.
@@ Property / cites work: Orderly communication in the ambient calculus. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4673435
@@ Property / cites work: Q4673435 / rank @@
+Normal rank
@@ Property / cites work @@
+A Type Inference Algorithm for Secure Ambients
@@ Property / cites work: A Type Inference Algorithm for Secure Ambients / 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 @@
+Q4790353
@@ Property / cites work: Q4790353 / rank @@
+Normal rank
@@ Property / cites work @@
+Secure safe ambients
@@ Property / cites work: Secure safe ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioural typing for safe ambients
@@ Property / cites work: Behavioural typing for safe ambients / 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 @@
+Q4415245
@@ Property / cites work: Q4415245 / rank @@
+Normal rank
@@ Property / cites work @@
+Communication and mobility control in boxed ambients
+Normal rank
@@ Property / cites work @@
+Types for the ambient calculus
@@ Property / cites work: Types for the ambient calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile 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 @@
+Q4673434
@@ Property / cites work: Q4673434 / rank @@
+Normal rank
@@ Property / cites work @@
+An overview of Boxed Ambients
@@ Property / cites work: An overview of Boxed Ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766538
@@ Property / cites work: Q2766538 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766539
@@ Property / cites work: Q2766539 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4778710
@@ Property / cites work: Q4778710 / rank @@
+Normal rank
@@ Property / cites work @@
+Typing evolving ambients
@@ Property / cites work: Typing evolving ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494378
@@ Property / cites work: Q4494378 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414383
@@ Property / cites work: Q4414383 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4778709
@@ Property / cites work: Q4778709 / rank @@
+Normal rank
@@ Property / cites work @@
+On abstract interpretation of mobile ambients
@@ Property / cites work: On abstract interpretation of mobile 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 @@
+Q4484495
@@ Property / cites work: Q4484495 / 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 @@
+What is a ``good'' encoding of guarded choice?
@@ Property / cites work: What is a ``good'' encoding of guarded choice? / 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 @@
+Validating firewalls using flow logics
@@ Property / cites work: Validating firewalls using flow logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535034
@@ Property / cites work: Q4535034 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484494
@@ Property / cites work: Q4484494 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508315
@@ Property / cites work: Q4508315 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Expressiveness of Pure Mobile Ambients
@@ Property / cites work: On the Expressiveness of Pure Mobile Ambients / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2491209