@techreport{lenglet:inria-00347137, TITLE = {{Howe's Method for Early Bisimilarities}}, AUTHOR = {Lenglet, Sergue{\"i} and Schmitt, Alan and Stefani, Jean-Bernard}, URL = {https://inria.hal.science/inria-00347137}, TYPE = {Research Report}, NUMBER = {RR-6773}, PAGES = {69}, INSTITUTION = {{INRIA}}, YEAR = {2008}, KEYWORDS = {Process calculus ; bisimilarity ; bisimulation ; early bisimilarity ; Howe's method ; higher-order calculus ; congruence proof}, PDF = {https://inria.hal.science/inria-00347137v2/file/RR-6773v2.pdf}, HAL_ID = {inria-00347137}, HAL_VERSION = {v2}, }