Formal Techniques for Distributed SystemsJohn Hatcliff,Elena Zucca · First published 2011Open the Tome
Formal Techniques for Distributed SystemsJohn Hatcliff, Elena Zucca · First published 2010Open the Tome
Partial Evaluation : Practice and TheoryJohn Hatcliff, Torben Mogensen, Peter Thiemann · First published 2007Open the Tome
Tools and Algorithms for the Construction and Analysis of SystemsHubert Garavel, John Hatcliff · First published 2003Open the Tome
