AbstractQuasi-open bisimilarity is a variant of the open bisimilarity based on a closer examination of the observationality of local names. The paper investigates two alternative characterizations of the quasi-open bisimilarity and provides a complete system for the weak quasi-open congruence
The standard way of lifting a binary relation, R, from closed terms of an algebra to open terms is t...
AbstractThe standard way of lifting a binary relation, R, from closed terms of an algebra to open te...
Sound behavioral equations on open terms may become unsound after conservative extensions of the und...
Quasi open bisimilarity is a variant of the open bisimilarity based on a closer examination of the o...
peer reviewedQuasi-open bisimilarity is the coarsest notion of bisimilarity for the π-calculus that ...
Quasi-open bisimilarity is the coarsest notion of bisimilarity for the π-calculus that is also a con...
The notion of bisimilarity, as defined by Park and Milner,has turned out to be one of the most funda...
Open bisimilarity is a strong bisimulation congruence for the pi-calculus. In open bisimilarity, fre...
AbstractIn the context of the π-calculus, open bisimulation is prominent and popular due to its cong...
Traditionally, in process calculi, relations over open terms, i.e., terms with free process variable...
AbstractTraditionally, in process calculi, relations over open terms, i.e., terms with free process ...
AbstractIn the context of the π-calculus, open bisimulation is prominent and popular due to its cong...
AbstractTraditionally, in process calculi, relations over open terms, i.e., terms with free process ...
AbstractBoth for interleaving and for non-interleaving semantics, several variants of a π-calculus b...
Abstractχ-Calculus was proposed as a process calculus that has a uniform treatment of names. Prelimi...
The standard way of lifting a binary relation, R, from closed terms of an algebra to open terms is t...
AbstractThe standard way of lifting a binary relation, R, from closed terms of an algebra to open te...
Sound behavioral equations on open terms may become unsound after conservative extensions of the und...
Quasi open bisimilarity is a variant of the open bisimilarity based on a closer examination of the o...
peer reviewedQuasi-open bisimilarity is the coarsest notion of bisimilarity for the π-calculus that ...
Quasi-open bisimilarity is the coarsest notion of bisimilarity for the π-calculus that is also a con...
The notion of bisimilarity, as defined by Park and Milner,has turned out to be one of the most funda...
Open bisimilarity is a strong bisimulation congruence for the pi-calculus. In open bisimilarity, fre...
AbstractIn the context of the π-calculus, open bisimulation is prominent and popular due to its cong...
Traditionally, in process calculi, relations over open terms, i.e., terms with free process variable...
AbstractTraditionally, in process calculi, relations over open terms, i.e., terms with free process ...
AbstractIn the context of the π-calculus, open bisimulation is prominent and popular due to its cong...
AbstractTraditionally, in process calculi, relations over open terms, i.e., terms with free process ...
AbstractBoth for interleaving and for non-interleaving semantics, several variants of a π-calculus b...
Abstractχ-Calculus was proposed as a process calculus that has a uniform treatment of names. Prelimi...
The standard way of lifting a binary relation, R, from closed terms of an algebra to open terms is t...
AbstractThe standard way of lifting a binary relation, R, from closed terms of an algebra to open te...
Sound behavioral equations on open terms may become unsound after conservative extensions of the und...
DOI
Add to ORKG