FTP Algebraic Formal Modelling using ACP - Study on FTP Active Mode and Passive Mode | Publicación