DOIAbstract
AbstractWe give a very short proof of uniqueness of solutions of equations regarding observation congruence, the main notion of equality, over Milner's process calculus
AbstractWe give a very short proof of uniqueness of solutions of equations regarding observation congruence, the main notion of equality, over Milner's process calculus
A number of characterizations are given which are both necessary and sufficient for the uniqueness o...
We provide a simple convexity argument for some known uniqueness theorems. Previous proofs were mor...
ABSTRACT. It is assumed that solutions of the dierential equation y000 = f(x; y; y0; y00), with cert...
AbstractWe give a very short proof of uniqueness of solutions of equations regarding observation con...
Our aim is to establish and discuss a certain class of conditions on the functions fi which ensure t...
International audienceWe review some recent work aimed at understanding proof techniques for behavio...
International audienceWe study proof techniques for bisimilarity based on unique solution of equatio...
We study proof techniques for bisimilarity based on unique solution of equations.We draw inspiration...
One of the most studied behavioural equivalences is bisimilarity. Its success is much due to the ass...
International audienceOne of the most studied behavioural equivalences is bisimilarity. Its success ...
AbstractExistence and uniqueness theorems are given for solving infinite and finite systems of fixed...
A number of characterizations are given which are both necessary and sufficient for the uniqueness o...
We provide a simple convexity argument for some known uniqueness theorems. Previous proofs were mor...
ABSTRACT. It is assumed that solutions of the dierential equation y000 = f(x; y; y0; y00), with cert...
AbstractWe give a very short proof of uniqueness of solutions of equations regarding observation con...
Our aim is to establish and discuss a certain class of conditions on the functions fi which ensure t...
International audienceWe review some recent work aimed at understanding proof techniques for behavio...
International audienceWe study proof techniques for bisimilarity based on unique solution of equatio...
We study proof techniques for bisimilarity based on unique solution of equations.We draw inspiration...
One of the most studied behavioural equivalences is bisimilarity. Its success is much due to the ass...
International audienceOne of the most studied behavioural equivalences is bisimilarity. Its success ...
AbstractExistence and uniqueness theorems are given for solving infinite and finite systems of fixed...
A number of characterizations are given which are both necessary and sufficient for the uniqueness o...
We provide a simple convexity argument for some known uniqueness theorems. Previous proofs were mor...
ABSTRACT. It is assumed that solutions of the dierential equation y000 = f(x; y; y0; y00), with cert...
Add to ORKG