1. A computer-readable medium, comprising: a library for a managed programming language, the library including a core set of primitives implementing a core set of pi-calculus-like channels with input and asynchronous output capabilities for coordination and concurrency.