On Interprocess Communication-Part I: Basic Formalism, Part II: Algorithms