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.

Detalhes bibliográficos
Autor principal: Caires, Luís (author)
Formato: article
Idioma:eng
Publicado em: 2019
Assuntos:
Behavioral types
Concurrency control
Distributed systems
Service-based systems
Spatial logics
Theoretical Computer Science
Computer Science(all)
Texto completo:https://doi.org/10.1016/j.tcs.2008.04.030
País:Portugal
Oai:oai:run.unl.pt:10362/61650
Descrição
Resumo: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.

Registros relacionados