240 search results - page 3 / 48 » A Typed Calculus of Synchronous Processes |
119
Voted
TCS
2008
15 years 2 months ago
2008
Intersection types are well-known to type theorists mainly for two reasons. Firstly, they type all and only the strongly normalizable lambda terms. Secondly, the intersection type...
149
Voted
CONCUR
2006
Springer
15 years 6 months ago
2006
Springer
We extend a previous type system for the -calculus that guarantees deadlock-freedom. The previous type systems for deadlockfreedom either lacked a reasonable type inference algorit...
126
Voted
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
138
Voted
ESOP
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We propose a new type discipline for the -calculus in which secure information flow is guaranteed by static type checking. Secrecy levels are assigned to channels and are...
154
Voted
AOSD
2010
ACM
15 years 9 months ago
2010
ACM
Over the last five years, several systems have been proposed to take distribution into account in Aspect-Oriented Programming. While they appeared to be fruitful to develop or im...