文章基本信息

标题：Howe's Method for Contextual Semantics
本地全文：下载
作者：Serguei Lenglet ; Alan Schmitt
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2015
卷号：42
页码：212-225
DOI：10.4230/LIPIcs.CONCUR.2015.212
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：We show how to use Howe's method to prove that context bisimilarity is a congruence for process calculi equipped with their usual semantics. We apply the method to two extensions of HOpi, with passivation and with join patterns, illustrating different proof techniques.
关键词：Bisimulation; process calculi; Howe's method