Quiang Quiang GaoBooksFormal Methods for Protocol Engineering and Distributed SystemsAuthor data: Open Library