Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo Immo Grabe Mohammad Mahdi Jaghoori Bernhard Aichernig Cristel Baier Tobias Blechmann Publication details Journal: Electronical Notes in Theoretical Computer Science, vol. 266, p. 33–48, 2010 Publisher: Elsevier International Standard Numbers: Printed: 1571-0661 Electronic: 1571-0661 You are here: Home Publications Scientific article Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo