@techreport{lenglet:hal-01168865, TITLE = {{Howe's Method for Contextual Semantics}}, AUTHOR = {Lenglet, Sergue{\"i} and Schmitt, Alan}, URL = {https://inria.hal.science/hal-01168865}, TYPE = {Research Report}, NUMBER = {RR-8750}, PAGES = {31}, INSTITUTION = {{Inria}}, YEAR = {2015}, MONTH = Jun, KEYWORDS = {Bisimulations ; process calculi ; Howe's Method ; Bissimilarit{\'e} contextuelle ; calculs de processus ; m{\'e}thode de Howe}, PDF = {https://inria.hal.science/hal-01168865/file/RR-8750.pdf}, HAL_ID = {hal-01168865}, HAL_VERSION = {v1}, }