Operational and algebraic semantics for facile: A symmetric integration of concurrent and functional programming
- 11 December 2005
- book chapter
- Published by Springer Nature
- p. 765-780
- https://doi.org/10.1007/bfb0032073
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Facile: A symmetric integration of concurrent and functional programmingInternational Journal of Parallel Programming, 1989
- Processes and functionsPublished by Springer Nature ,1989
- FACILE: A symmetric integration of concurrent and functional programmingPublished by Springer Nature ,1989
- Synchronous operations as first-class valuesPublished by Association for Computing Machinery (ACM) ,1988
- Functional programming and communicating processesPublished by Springer Nature ,1987
- SMoLCS-driven concurrent calculiPublished by Springer Nature ,1987
- AmberLecture Notes in Computer Science, 1986
- Parametric channels via label expressions in CCSTheoretical Computer Science, 1984
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- Call-by-name, call-by-value and the λ-calculusTheoretical Computer Science, 1975