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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Amadio, R.: The SL synchronous language, revisited. Journal of Logic and Algebraic Programming 70, 121–150 (2007)
Amadio, R.: A synchronous π-calculus. Information and Computation 205(9), 1470–1490 (2007)
Amadio, R., Castellani, I., Sangiorgi, D.: On bisimulations for the asynchronous π-calculus. Theoretical Computer Science 195, 291–324 (1998)
Amadio, R., Dogguy, M.: Determinacy in a synchronous π-calculus. Technical Report, Université Paris 7, Laboratoire PPS (July 2007); From semantics to computer science: essays in honor of Kahn, G., Bertot, Y., et al. (eds.) CUP (to appear)
Amadio, R., Dogguy, M.: On affine usages in signal based communication. Technical Report, Université Paris 7, Laboratoire PPS (April 2008)
Berry, G., Gonthier, G.: The Esterel synchronous programming language. Science of computer programming 19(2), 87–152 (1992)
Boussinot, F., De Simone, R.: The SL synchronous language. IEEE Trans. on Software Engineering 22(4), 256–266 (1996)
Girard, J.-Y.: Linear Logic. Theoretical Computer Science 50(1), 1–102 (1987)
Honda, K., Yoshida, N.: On reduction-based process semantics. Theoretical Computer Science 151(2), 437–486 (1995)
Kobayashi, N.: Type systems for concurrent programs. In: Aichernig, B.K., Maibaum, T. (eds.) Formal Methods at the Crossroads. From Panacea to Foundational Support. LNCS, vol. 2757, pp. 439–453. Springer, Heidelberg (2003)
Kobayashi, N., Pierce, B., Turner, D.: Linearity and the pi-calculus. ACM Transactions on Programming Languages and Systems (TOPLAS) 21(5) (1999)
Mandel, L., Pouzet, M.: ReactiveML, a reactive extension to ML. In: Proc. ACM Principles and Practice of Declarative Programming, pp. 82–93 (2005)
Milner, R.: Communication and concurrency. Prentice-Hall, Englewood Cliffs (1989)
Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, parts 1-2. Information and Computation 100(1), 1–77 (1992)
Wadler, P.: A Taste of Linear Logic. In: Proc. Mathematical Foundations of Computer Science, SLNCS, vol. 711, pp. 185-210 (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Amadio, R.M., Dogguy, M. (2008). On Affine Usages in Signal-Based Communication. In: Ramalingam, G. (eds) Programming Languages and Systems. APLAS 2008. Lecture Notes in Computer Science, vol 5356. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89330-1_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-89330-1_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-89329-5
Online ISBN: 978-3-540-89330-1
eBook Packages: Computer ScienceComputer Science (R0)