International audienceWe 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
Abstract. We argue that weak bisimilarity of processes can be conve-niently captured in a semantic d...
International audienceWe propose a categorical framework for structural operational semantics, in wh...
Proving behavioural equivalences in higher-order languages is a difficult task, because interactions...
International audienceWe show how to use Howe's method to prove that context bisimilarity is a congr...
We show how to use Howe\u27s method to prove that context bisimilarity is a congruence for process c...
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...
International audienceWe propose a formalization in Coq of HOπ , a process calculus where messages c...
International audienceWe study the problem of characterizing contextual equivalence in higher-order ...
In the last few years the problem of deriving labelled transitions and bisimulation congruences from...
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging ...
International audienceWe introduce a categorical framework for operational semantics, in which we de...
We apply powerful proof-techniques of concurrency theory to study the ob-servational theory of Thiel...
Abstract. We argue that weak bisimilarity of processes can be conve-niently captured in a semantic d...
International audienceWe propose a categorical framework for structural operational semantics, in wh...
Proving behavioural equivalences in higher-order languages is a difficult task, because interactions...
International audienceWe show how to use Howe's method to prove that context bisimilarity is a congr...
We show how to use Howe\u27s method to prove that context bisimilarity is a congruence for process c...
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...
International audienceWe propose a formalization in Coq of HOπ , a process calculus where messages c...
International audienceWe study the problem of characterizing contextual equivalence in higher-order ...
In the last few years the problem of deriving labelled transitions and bisimulation congruences from...
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging ...
International audienceWe introduce a categorical framework for operational semantics, in which we de...
We apply powerful proof-techniques of concurrency theory to study the ob-servational theory of Thiel...
Abstract. We argue that weak bisimilarity of processes can be conve-niently captured in a semantic d...
International audienceWe propose a categorical framework for structural operational semantics, in wh...
Proving behavioural equivalences in higher-order languages is a difficult task, because interactions...
DOI
Add to ORKG