Sill

@article{2019Sill,
  title={Sill},
  author={},
  journal={Dictionary of Geotourism},
  year={2019}
}
  • Published 11 November 2019
  • Dictionary of Geotourism
Manifest Deadlock-Freedom for Shared Session Types
TLDR
A type system for logically-shared sessions in which types capture not only the interactive behavior of processes but also constrain the order of resources they may acquire is developed, resulting in a system that ensures deadlock-free communication for well-typed processes in the presence of shared sessions, higher-order channel passing, and recursive processes.
Rôle des interactions tectonique-sédimentation sur l'évolution et la variabilité spatiale d'un gisement de bauxite karstique : exemple du bassin de Villeveyrac (Sud de la France)
Cette these propose d’identifier les roles de la tectonique et de la sedimentation responsables des variabilites spatiales d’un gisement de bauxite karstique et particulierement dans le bassin de
Manifest sharing with session types
TLDR
This paper introduces sharing into a session-typed language where types are stratified into linear and shared layers with modal operators connecting the layers and retains session fidelity but not the absence of deadlocks.
Molnar 2001 SIGNIFICANCE OF THE SAGNAC EFFECT