Spatial-behavioral types for concurrency and resource control in distributed systems