Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.
Immo GrabeMohammad Mahdi JaghooriBernhard K. AichernigChristel BaierTobias BlechmannFrank S. de BoerAndreas GriesmayerEinar Broch JohnsenJoachim KleinSascha KlüppelholzMarcel KyasWolfgang LeisterRudolf SchlatteAndries StamMartin SteffenSimon TschirnerLiang XuedongWang YiPublished in: Electron. Notes Theor. Comput. Sci. (2010)