On Affine Usages in Signal-Based Communication

Authors:
Roberto M. Amadio;Mehdi Dogguy
Affiliations:
Université Paris Diderot, PPS, UMR-7126,;Université Paris Diderot, PPS, UMR-7126,
Venue:
APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
Year:
2008

Citing 11
Cited 0

Linear logic

Theoretical Computer Science
The ESTEREL synchronous programming language: design, semantics, implementation

Science of Computer Programming
A calculus of mobile processes, II

Information and Computation
On reduction-based process semantics

Selected papers of the thirteenth conference on Foundations of software technology and theoretical computer science
On bisimulations of the asynchronous &pgr;-calculus

Theoretical Computer Science
Linearity and the pi-calculus

ACM Transactions on Programming Languages and Systems (TOPLAS)
Communication and Concurrency

Communication and Concurrency
The SL Synchronous Language

IEEE Transactions on Software Engineering
A Taste of Linear Logic

MFCS '93 Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science
ReactiveML: a reactive extension to ML

PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
A synchronous π-calculus

Information and Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 affinity and that can be composed. As a main application of the resulting system, we show that typable programs are deterministic .