AbstractIn the context of the π-calculus, open bisimulation is prominent and popular due to its congruence properties and its easy implementability. Motivated by the attempt to generalise it to the spi-calculus, we offer a new, more refined definition and show how far it coincides with the original one
Traditionally, in process calculi, relations over open terms, i.e., terms with free process variable...
Results concerning bisimulation equivalences in the (polyadic) pi-calculus are presented. It is show...
This paper deals with algorithmic checking of open bisimilarity in the pi-calculus. Most bisimulatio...
AbstractIn the context of the π-calculus, open bisimulation is prominent and popular due to its cong...
AbstractIn the context of the π-calculus, open bisimulation is prominent and popular due to its cong...
AbstractIn the context of the π-calculus, open bisimulation is prominent and popular due to its cong...
In the context of the π-calculus, open bisimulation is prominent and popular due to its congruence p...
Open hedged bisimulation was proposed as a generalisation to the spi calculus of the pi calculus'ope...
Abstract. A notion of open bisimulation is formulated for the spi calculus, an extension of the πcal...
The spi calculus is an extension of the pi calculus with cryptographic primitives, designed for the ...
We study a new formulation of bisimulation for the z-calculus [9], which we have called open bisimul...
AbstractSymbolic characterisations of bisimilarities for the applied pi calculus proposed so far are...
Open bisimilarity is a strong bisimulation congruence for the pi-calculus. In open bisimilarity, fre...
AbstractQuasi-open bisimilarity is a variant of the open bisimilarity based on a closer examination ...
Open bisimilarity is a strong bisimulation congruence for the pi-calculus. In open bisimilarity, fre...
Traditionally, in process calculi, relations over open terms, i.e., terms with free process variable...
Results concerning bisimulation equivalences in the (polyadic) pi-calculus are presented. It is show...
This paper deals with algorithmic checking of open bisimilarity in the pi-calculus. Most bisimulatio...
AbstractIn the context of the π-calculus, open bisimulation is prominent and popular due to its cong...
AbstractIn the context of the π-calculus, open bisimulation is prominent and popular due to its cong...
AbstractIn the context of the π-calculus, open bisimulation is prominent and popular due to its cong...
In the context of the π-calculus, open bisimulation is prominent and popular due to its congruence p...
Open hedged bisimulation was proposed as a generalisation to the spi calculus of the pi calculus'ope...
Abstract. A notion of open bisimulation is formulated for the spi calculus, an extension of the πcal...
The spi calculus is an extension of the pi calculus with cryptographic primitives, designed for the ...
We study a new formulation of bisimulation for the z-calculus [9], which we have called open bisimul...
AbstractSymbolic characterisations of bisimilarities for the applied pi calculus proposed so far are...
Open bisimilarity is a strong bisimulation congruence for the pi-calculus. In open bisimilarity, fre...
AbstractQuasi-open bisimilarity is a variant of the open bisimilarity based on a closer examination ...
Open bisimilarity is a strong bisimulation congruence for the pi-calculus. In open bisimilarity, fre...
Traditionally, in process calculi, relations over open terms, i.e., terms with free process variable...
Results concerning bisimulation equivalences in the (polyadic) pi-calculus are presented. It is show...
This paper deals with algorithmic checking of open bisimilarity in the pi-calculus. Most bisimulatio...
DOI
Add to ORKG