This book comprises a strictly refereed selection of papers presented at three international workshops on advanced communication services (ACoS'98), visualization issues for formal methods (VISUAL'98), and advanced intelligent networks (AIN'97).

The web impact: A white paper.- ‘Calls considered harmful’ and other observations: A tutorial on telephony.- Convergence of telecommunications and computing on networking models for integrated services and applications.- The NetAcademy — A new concept for online publishing and knowledge management.- Distributed compression of live video — An application for active networks.- Incremental scene graph distribution method for distributed virtual environments.- Value-added services in industrial automation.- Requirements and a proposal for the prevention of a class of service interactions in intelligent networks.- INAP protocol test suite verification method using the IUT simulator for AIN system conformance testing.- Testing IN protocol implementation.- Agent-based data services in future IN-platforms.- Visualisation of executable formal specifications for user validation.- Design and evaluation of a visual formalism for real time logics.- Visualising the behaviour of intelligent networks.- Formal methods and customized visualization: A fruitful symbiosis.- Using a visual formalism for design verification in industrial environments.- Automatic error location for IN service definition.- The generation of service database schema through service creation environment.- A study of intelligent multimedia services over PSTNs and the internet.- Open switching for ATM networks.- Application of INAP to AIN intelligent peripheral.- IN evolution to support mobility in DECT access networks.- A mobile broadband service switching point: a new network element for multimedia and mobile services.