The PFL interpreter is based on the
interpreter and was inspired by CCS and the original PFL[Hol83,Mit84].
PFL adds to λ extra operators for
input (?) & output (!) actions,
sequences of actions (->),
nondeterministic choice (|), and
- [Mit84] K. Mitchell. A user's guide to PFL.
Dept. of Computer Science, University of Edinburgh, 1984.
- [Hol83] S. Holmstrom.
PFL: a functional language for parallel programming and
Programming Methodology Group, University of Goteborg
and Chalmers University of Technology, 1983.