@inproceedings{lenglet:hal-01192699, TITLE = {{Howe's Method for Contextual Semantics}}, AUTHOR = {Lenglet, Sergue{\"i} and Schmitt, Alan}, URL = {https://inria.hal.science/hal-01192699}, BOOKTITLE = {{CONCUR 2015 26th International Conference on Concurrency Theory}}, ADDRESS = {Madrid, Spain}, YEAR = {2015}, MONTH = Sep, DOI = {10.4230/LIPIcs.CONCUR.2015.212}, KEYWORDS = {Bisimulations ; process calculi ; Howe's Method}, PDF = {https://inria.hal.science/hal-01192699/file/Concur%2015.pdf}, HAL_ID = {hal-01192699}, HAL_VERSION = {v1}, }