David Sanderson, Jeremy Pitt. Institutionalised Consensus in Vehicular Networks: Executable Specification and Empirical Validation. In Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2012, Lyon, France, September 10-14, 2012. pages 71-76, IEEE Computer Society, 2012. [doi]
Abstract is missing.