A lattice-based framework for the classification and design of asynchronous pipelines