Henrikas Pranevicius Papers on DiSC'04 The Use of Aggregate and Z Formal Methods for Specification and Analysis of Distributed Systems Publications Note: Links lead to the DBLP on the Web. Henrikas Pranevicius Henrikas Pranevicius: The Use of Aggregate and Z Formal Methods for Specification and Analysis of Distributed Systems. ADBIS 2001 : 253-265 ©2004 Association for Computing Machinery