We show how to use Howe\u27s 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
International audienceWe introduce a categorical framework for operational semantics, in which we de...
Bisimilarity (also known as `applicative bisimulation') has attracted a good deal of attention ...
We apply powerful proof-techniques of concurrency theory to study the observational theory of Thiele...
International audienceWe show how to use Howe's method to prove that context bisimilarity is a congr...
We show how to use Howe’s method to prove that context bisimilarity is a congruence for process calc...
This report shows how to apply Howe's method for the proof of congruence of early bisimilarities in ...
International audienceWe show how to apply Howe's method for the proof of congruence of early bisimi...
AbstractWe study the problem of characterizing contextual equivalence in higher-order languages with...
In the last few years the problem of deriving labelled transitions and bisimulation congruences from...
International audienceWe study the problem of characterizing contextual equivalence in higher-order ...
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging ...
Abstract. We argue that weak bisimilarity of processes can be conve-niently captured in a semantic d...
International audienceWe propose a formalization in Coq of HOπ , a process calculus where messages c...
We apply powerful proof-techniques of concurrency theory to study the ob-servational theory of Thiel...
International audienceWe propose a categorical framework for structural operational semantics, in wh...
International audienceWe introduce a categorical framework for operational semantics, in which we de...
Bisimilarity (also known as `applicative bisimulation') has attracted a good deal of attention ...
We apply powerful proof-techniques of concurrency theory to study the observational theory of Thiele...
International audienceWe show how to use Howe's method to prove that context bisimilarity is a congr...
We show how to use Howe’s method to prove that context bisimilarity is a congruence for process calc...
This report shows how to apply Howe's method for the proof of congruence of early bisimilarities in ...
International audienceWe show how to apply Howe's method for the proof of congruence of early bisimi...
AbstractWe study the problem of characterizing contextual equivalence in higher-order languages with...
In the last few years the problem of deriving labelled transitions and bisimulation congruences from...
International audienceWe study the problem of characterizing contextual equivalence in higher-order ...
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging ...
Abstract. We argue that weak bisimilarity of processes can be conve-niently captured in a semantic d...
International audienceWe propose a formalization in Coq of HOπ , a process calculus where messages c...
We apply powerful proof-techniques of concurrency theory to study the ob-servational theory of Thiel...
International audienceWe propose a categorical framework for structural operational semantics, in wh...
International audienceWe introduce a categorical framework for operational semantics, in which we de...
Bisimilarity (also known as `applicative bisimulation') has attracted a good deal of attention ...
We apply powerful proof-techniques of concurrency theory to study the observational theory of Thiele...
DOI
Add to ORKG