Timed network semantics for CCS, which incorporate to the behaviour of timed processes also a capacity of communication network, are introduced. All these semantics are suitable for bottom-up speciications. A decreasing hierarchy of rigorous network bisimulations is presented. These bisimulations are non-interleaving reenements of the usual strong bisim-ulation. A complete and sound proof syste...
