Spatial-Behavioral Types, Distributed Services, and Resources (Q3608455): Difference between revisions

@@ Property / cites work @@
+A theory of primitive objects: Untyped and first-order systems
+Normal rank
@@ Property / cites work @@
+A calculus for concurrent objects
@@ Property / cites work: A calculus for concurrent objects / rank @@
+Normal rank
@@ Property / cites work @@
+Ownership types for object encapsulation
@@ Property / cites work: Ownership types for object encapsulation / rank @@
+Normal rank
@@ Property / cites work @@
+A spatial logic for concurrency. I
@@ Property / cites work: A spatial logic for concurrency. I / rank @@
+Normal rank
@@ Property / cites work @@
+A spatial logic for concurrency. II
@@ Property / cites work: A spatial logic for concurrency. II / rank @@
+Normal rank
@@ Property / cites work @@
+Anytime, anywhere
@@ Property / cites work: Anytime, anywhere / rank @@
+Normal rank
@@ Property / cites work @@
+Types as models
@@ Property / cites work: Types as models / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223023
@@ Property / cites work: Q4223023 / rank @@
+Normal rank
@@ Property / cites work @@
+Resource access control in systems of mobile agents
+Normal rank
@@ Property / cites work @@
+A generic type system for the Pi-calculus
@@ Property / cites work: A generic type system for the Pi-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Resource usage analysis
@@ Property / cites work: Resource usage analysis / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank