Harvard University Harvard University University of California, Los Angeles (UCLA) University of California, Los Angeles (UCLA) While involved in attempting to specify the formal protocol, we also attempted to formulate a prototypical NCP in an Algol-like language.