Carlo Ghezzi and network computing