A Timed Process Algebra for Wireless Networks with an Application in Routing - (Extended Abstract). - Emile Bres; Rob J. van Glabbeek; Peter Höfner (ESOP, 2016)

A Timed Process Algebra for Wireless Networks. - Emile Bres; Rob J. van Glabbeek; Peter Höfner (CoRR, 2016)