Good to know
VLC version for windows and linux, as far as I know work quite similar.

Throrough witch protocol does the media server stream, tcp or udp?

Before I buy a Pro license of ProgDVB, I want some information about its streaming capabilities, if there is any known software for Linux that is able to recieve and decode the ProgDVB stream.

The only stream client I know for Linux is VLC, does it work?

Does a version of ProgDVB exist for Linux ...