CometD

It is a web server to push data to a browser, without the browser explicitly requesting it. It is an umbrella term, encompassing multiple techniques for achieving this interaction.