pony - The occam-pi Network Environment. - Mario Schweigler; Adam T. Sampson (CPA, 2006)

A unified model for inter- and intra-processor concurrency. - Mario Schweigler (2006)