FTP Algebraic Formal Modelling using ACP - Study on FTP Active Mode and Passive Mode.

Pedro Juan Roig, Salvador Alcaraz, Katja Gilly

Browse the full SIMULTECH paper archive.