Computer Science – Logic in Computer Science
Scientific paper
2008-04-10
Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, France (2008)
Computer Science
Logic in Computer Science
Scientific paper
We describe a type system for a synchronous pi-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.
Amadio Roberto
Dogguy Mehdi
No associations
LandOfFree
On affine usages in signal-based communication does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with On affine usages in signal-based communication, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On affine usages in signal-based communication will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-356320