Towards a behavioural theory of access and mobility control in distributed systems (Q1881259): Difference between revisions

@@ Property / author @@
-Matthew C. B. Hennessy
@@ Property / author: Matthew C. B. Hennessy / rank @@
-Normal rank
@@ Property / author @@
+Matthew C. B. Hennessy
@@ Property / author: Matthew C. B. Hennessy / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SafeDpi
@@ Property / describes a project that uses: SafeDpi / 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.tcs.2003.12.024
+Normal rank
@@ Property / OpenAlex ID @@
+W2122630589
@@ Property / OpenAlex ID: W2122630589 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q62041667
@@ Property / Wikidata QID: Q62041667 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR '98. Concurrency theory. 9th international conference, Nice, France, September 8--11, 1998. Proceedings
+Normal rank
@@ Property / cites work @@
+Communication and mobility control in boxed ambients
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q4415246
@@ Property / cites work: Q4415246 / 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 @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+Typed behavioural equivalences for processes in the presence of subtyping
+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 @@
+Resource access control in systems of mobile agents
+Normal rank
@@ Property / cites work @@
+On reduction-based process semantics
@@ Property / cites work: On reduction-based process semantics / 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 @@
+Mobile objects as mobile processes
@@ Property / cites work: Mobile objects as mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449205
@@ Property / cites work: Q4449205 / 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 @@
+Q3837262
@@ Property / cites work: Q3837262 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219047
@@ Property / cites work: Q4219047 / rank @@
+Normal rank
@@ Property / cites work @@
+Assigning types to processes
@@ Property / cites work: Assigning types to processes / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1881259