A Timed Process Algebra for Wireless Networks with an Application in Routing - (Extended Abstract)

Emile Bres, Rob J. van Glabbeek, Peter Höfner. A Timed Process Algebra for Wireless Networks with an Application in Routing - (Extended Abstract). In Peter Thiemann, editor, Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Volume 9632 of Lecture Notes in Computer Science, pages 95-122, Springer, 2016. [doi]

Authors

Emile Bres

This author has not been identified. Look up 'Emile Bres' in Google

Rob J. van Glabbeek

This author has not been identified. It may be one of the following persons: Look up 'Rob J. van Glabbeek' in Google

Peter Höfner

This author has not been identified. Look up 'Peter Höfner' in Google