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

@@ Property / describes a project that uses @@
+PIPER
@@ Property / describes a project that uses: PIPER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SLMC
@@ Property / describes a project that uses: SLMC / 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.1007/978-3-540-75336-0_7
+Normal rank
@@ Property / OpenAlex ID @@
+W1544127920
@@ Property / OpenAlex ID: W1544127920 / rank @@
+Normal rank
@@ 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