The seal calculus (Q2566220): Difference between revisions

@@ Property / describes a project that uses @@
+PLAN
@@ Property / describes a project that uses: PLAN / rank @@
+Normal rank
@@ 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.ic.2004.11.005
+Normal rank
@@ Property / OpenAlex ID @@
+W1999770529
@@ Property / OpenAlex ID: W1999770529 / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
+Normal rank
@@ Property / cites work @@
+Secure safe ambients
@@ Property / cites work: Secure 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 @@
+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 @@
+Q4536435
@@ Property / cites work: Q4536435 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791831
@@ Property / cites work: Q4791831 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4415246
@@ Property / cites work: Q4415246 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4448354
@@ Property / cites work: Q4448354 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile agents
@@ Property / cites work: A calculus of mobile agents / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536436
@@ Property / cites work: Q4536436 / rank @@
+Normal rank
@@ Property / cites work @@
+Generative communication in Linda
@@ Property / cites work: Generative communication in Linda / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484493
@@ Property / cites work: Q4484493 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417865
@@ Property / cites work: Q4417865 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223018
@@ Property / cites work: Q4223018 / rank @@
+Normal rank
@@ Property / cites work @@
+Resource access control in systems of mobile agents
+Normal rank
@@ Property / cites work @@
+safeDpi: a language for controlling mobile code
@@ Property / cites work: safeDpi: a language for controlling mobile code / rank @@
+Normal rank
@@ Property / cites work @@
+PLAN
@@ Property / cites work: PLAN / rank @@
+Normal rank
@@ Property / cites work @@
+On reduction-based process semantics
@@ Property / cites work: On reduction-based process semantics / 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 @@
+Q4449205
@@ Property / cites work: Q4449205 / 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 @@
+Barbed bisimulation
@@ Property / cites work: Barbed bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed processes and location failures
@@ Property / cites work: Distributed processes and location failures / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for higher-order process calculi
@@ Property / cites work: Bisimulation for higher-order process calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Extensionality and intensionality of the ambient logics
+Normal rank
@@ Property / cites work @@
+Q4219047
@@ Property / cites work: Q4219047 / rank @@
+Normal rank
@@ Property / cites work @@
+Plain CHOCS. A second generation calculus for higher order processes
+Normal rank
@@ Property / cites work @@
+Nomadic pict
@@ Property / cites work: Nomadic pict / rank @@
+Normal rank
@@ Property / cites work @@
+Assigning types to processes
@@ Property / cites work: Assigning types to processes / rank @@
+Normal rank