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

We would like to thank Luca Cardelli, Peter O’Hearn, Vasco Vasconcelos, Etienne Lozes and Gianluigi Ferrari for related discussions. We acknowledge CITI, Project POSC/55582/2004 SpaceTimeTypes, and IP Sensoria.

Bibliographic Details
Main Author: Caires, Luís (author)
Format: article
Language:eng
Published: 2019
Subjects:
Behavioral types
Concurrency control
Distributed systems
Service-based systems
Spatial logics
Theoretical Computer Science
Computer Science(all)
Online Access:https://doi.org/10.1016/j.tcs.2008.04.030
Country:Portugal
Oai:oai:run.unl.pt:10362/61650

Internet

https://doi.org/10.1016/j.tcs.2008.04.030

Similar Items