Pedro Juan Roig, Salvador Alcaraz, Katja Gilly. FTP Algebraic Formal Modelling using ACP - Study on FTP Active Mode and Passive Mode. In Floriano De Rango, Tuncer I. Ören, Mohammad S. Obaidat, editors, Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH 2017, Madrid, Spain, July 26-28, 2017. pages 362-373, SciTePress, 2017. [doi]
Abstract is missing.