Jianping Jianping WuBooksFormal Methods for Protocol Engineering and Distributed SystemsAuthor data: Open Library