On Formalizing Inter-process Relationships · Study