Types for access control (Q1575157): Difference between revisions

@@ Property / author @@
+R. D. Nicola
@@ Property / author: R. D. Nicola / rank @@
+Normal rank
@@ Property / author @@
+Gian-Luigi Ferrari
@@ Property / author: Gian-Luigi Ferrari / rank @@
+Normal rank
@@ Property / author @@
+Rosario Pugliese
@@ Property / author: Rosario Pugliese / rank @@
+Normal rank
@@ Property / author @@
+Betti Venneri
@@ Property / author: Betti Venneri / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Linda
@@ Property / describes a project that uses: Linda / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+Q4470506
@@ Property / cites work: Q4470506 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3122689
@@ Property / cites work: Q3122689 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4370350
@@ Property / cites work: Q4370350 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024900
@@ Property / cites work: Q3024900 / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+A Filter Model for Concurrent $\lambda$-Calculus
@@ Property / cites work: A Filter Model for Concurrent $\lambda$-Calculus / 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 @@
+Generative communication in Linda
@@ Property / cites work: Generative communication in Linda / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223018
@@ Property / cites work: Q4223018 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient recursive subtyping
@@ Property / cites work: Efficient recursive subtyping / 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 @@
+Decoding choice encodings
@@ Property / cites work: Decoding choice encodings / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837262
@@ Property / cites work: Q3837262 / rank @@
+Normal rank
@@ Property / cites work @@
+Trust and partial typing in open systems of mobile agents
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(99)00232-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2006138892
@@ Property / OpenAlex ID: W2006138892 / rank @@
+Normal rank