Spatial-behavioral types for concurrency and resource control in distributed systems (Q935465): 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 @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Spatial-Behavioral Types, Distributed Services, and Resources
+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 @@
+Logical Semantics of Types for Concurrency
@@ Property / cites work: Logical Semantics of Types for Concurrency / 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 @@
+Q4117358
@@ Property / cites work: Q4117358 / rank @@
+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
@@ Property / cites work @@
+Resources, concurrency, and local reasoning
@@ Property / cites work: Resources, concurrency, and local reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Footprints in Local Reasoning
@@ Property / cites work: Footprints in Local Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484478
@@ Property / cites work: Q4484478 / rank @@
+Normal rank