Types, Orthogonality and Genericity: Some Tools for Communicating Process Architectures.

Samson Abramsky Types, Orthogonality and Genericity: Some Tools for Communicating Process Architectures. 1-13 2008 CPA http://dx.doi.org/10.3233/978-1-58603-907-3-1 conf/wotug/2008 db/conf/wotug/cpa2008.html#Abramsky08