Howe's Method for Contextual Semantics
Abstract
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 HOπ, with passivation and with join patterns, illustrating different proof techniques.
Origin | Publisher files allowed on an open archive |
---|
Loading...