Implementing concurrency in a process-based language

This thesis explains how the meaning of a program can be separated from its deployment onto multiprocessor/distributed systems and how software investment may be preserved when new features are added or when functionality does not change but the environment does.