I think the paradigm you're looking for is CSP http://en.wikipedia.org/wiki/Communicating_sequential_processes http://en.wikipedia.org/wiki/Communicating_seque

I think the paradigm you're looking for is CSP http://en.wikipedia.org/wiki/Communicating_sequential_processes http://en.wikipedia.org/wiki/Communicating_sequential_proces... described in 1978 by C.A.R. Haore in the now eBook http://www.usingcsp.com/ http://www.usingcsp.com/