FTP Algebraic Formal Modelling using ACP - Study on FTP Active Mode and Passive Mode Conference Paper 2017 Congress communication uri icon