| Home \ Publications \ Technical Report Page | Login |
|
TyCO + Linear Channels Abstract:We present an extension to the TyCO type system that is able to identify linear channels. We prove some technical results (e.g. type preservation w.r.t. reduction) and present an algorithm for inferring channels usage from process expressions. Our major contribution is the inference of linear information in a calculus with recursive equations rather than replication. URL: http://www.di.fc.ul.pt/tech-reports/01-11.pdf Institution: Faculdade de Ciências da Universidade de Lisboa ( Portugal ) Number: 01--11 Date: 2001 Authors: |
