ML with Concurrency by Flemming Nielson (ed.), Springer-Verlag, 1997.

Notions of computation and monads

Information and Computation

ML with Concurrency

ML with Concurrency

Communication and Concurrency

Communication and Concurrency

Observable Properties of Higher Order Functions that Dynamically Create Local Names, or What's new?

MFCS '93 Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science