We extend the linear {\pi}-calculus with composite regular types in such a way that data containing linear values can be shared among several processes, if there is no overlapping access to such values. We describe a type reconstruction algorithm for the extended type system and discuss some practical aspects of its implementation.
Padovani, L. (2015). Type Reconstruction for the Linear π-Calculus with Composite Regular Types. LOGICAL METHODS IN COMPUTER SCIENCE, 11, 1-45 [10.2168/LMCS-11(4:13)2015].
Type Reconstruction for the Linear π-Calculus with Composite Regular Types
PADOVANI, Luca
2015
Abstract
We extend the linear {\pi}-calculus with composite regular types in such a way that data containing linear values can be shared among several processes, if there is no overlapping access to such values. We describe a type reconstruction algorithm for the extended type system and discuss some practical aspects of its implementation.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
