Theoretical Informatics and Applications Will Be Set by the Publisher Informatique Th Eorique Et Applications Topologies, Continuity and Bisimulations