The following paper has a section "non-determinism for free", now if
you belive that... :-) Seriously it deals with a model for
concurrently executing purely functional processes with
non-determinism through the communication between the processes. Some
(incomplete - lack of time) semantics exist using the pi-calculus as
well as the lambda-calculus; they are not however in the paper (though
they are referred to). Reference:
Towards a Concurrent Object/Process Oriented Functional Language
Perry, N., Australian Computer Science Communications 14, 1, Jan 92
(= Proceedings of ACSC'15)
A postscript version is available by email from me (sorry no ftp, yet...)
Hope this helps.
Cheers,
Nigel
---
Dr Nigel Perry Email: [EMAIL PROTECTED]
Department of Computer Science Tel: +64 6 356 9099 ext 8900
Massey University Fax: +64 6 350 5611
Palmerston North
New Zealand
