A formal treatment of interference in remote procedure calls