The SÏ€-calculus is a synchronous Ï€-calculus which is based on the SL model. The<lb>latter is a relaxation of the Esterel model where the reaction to the absence of a signal<lb>within an instant canâ€¦ (More)

Modern software systems are built by composing components drawn from large repositories, whose size and complexity increase at a fast pace. Maintaining and evolving these software collections is aâ€¦ (More)

The SÏ€-calculus is a synchronous Ï€-calculus which is based on the SL model. The latter is a relaxation of the Esterel model where the reaction to the absence of a signal within an instant can onlyâ€¦ (More)

We describe a type system for a synchronous Ï€-calculus formalising the notion of affine usage in signal-based communication. In particular, we identify a limited number of usages that preserveâ€¦ (More)

The SÏ€-calculus is a synchronous Ï€-calculus which is based on the SL model. The latter is a relaxation of the Esterel model where the reaction to the absence of a signal within an instant can onlyâ€¦ (More)

Strongly-typed languages rely on link-time checks to ensure that type safety is not violated at the borders of compilation units. Such checks entail very fine-grained dependencies among compilationâ€¦ (More)

We describe a type system for a synchronous Ï€-calculus formalising the notion of affine usage in signal-based communication. In particular, we identify a limited number of usages that preserveâ€¦ (More)