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
AbstractIn this paper we study the uniqueness question of positive solutions of the two point bounda...
International audienceThe unique solution of contractions is a proof technique for (weak) bisimilari...
AbstractLet ∇2u+K2u+K2a1(x)u+∇·(a2(x)∇u)= −δ(x−1) in R3, where a1(x) ∈ L2(D), a2(x) ∈ H2(D), D ∈ R−3...
AbstractWe give a very short proof of uniqueness of solutions of equations regarding observation con...
We study proof techniques for bisimilarity based on unique solution of equations.We draw inspiration...
International audienceWe study proof techniques for bisimilarity based on unique solution of equatio...
International audienceWe review some recent work aimed at understanding proof techniques for behavio...
International audienceOne of the most studied behavioural equivalences is bisimilarity. Its success ...
We show that under Kalman’s rank condition, the observability of a scalar equation implies the uniqu...
International audienceOne of the most studied behavioural equivalences is bisimilarity, andthe main ...
AbstractIn this paper we shall show that the initial value problemx′=q(x)g(t,x),x(0)=xohas on an int...
summary:The two-point boundary value problem \[ u'' + h(x) u^p = 0, \quad a 1$, $h \in C^1[0,1]$ and...
AbstractA general uniqueness theorem for the abstract Cauchy problem x′(t) = f(t, x(t)); x(t) = P(t)...
AbstractIn this paper we study the uniqueness question of positive solutions of the two point bounda...
International audienceThe unique solution of contractions is a proof technique for (weak) bisimilari...
AbstractLet ∇2u+K2u+K2a1(x)u+∇·(a2(x)∇u)= −δ(x−1) in R3, where a1(x) ∈ L2(D), a2(x) ∈ H2(D), D ∈ R−3...
AbstractWe give a very short proof of uniqueness of solutions of equations regarding observation con...
We study proof techniques for bisimilarity based on unique solution of equations.We draw inspiration...
International audienceWe study proof techniques for bisimilarity based on unique solution of equatio...
International audienceWe review some recent work aimed at understanding proof techniques for behavio...
International audienceOne of the most studied behavioural equivalences is bisimilarity. Its success ...
We show that under Kalman’s rank condition, the observability of a scalar equation implies the uniqu...
International audienceOne of the most studied behavioural equivalences is bisimilarity, andthe main ...
AbstractIn this paper we shall show that the initial value problemx′=q(x)g(t,x),x(0)=xohas on an int...
summary:The two-point boundary value problem \[ u'' + h(x) u^p = 0, \quad a 1$, $h \in C^1[0,1]$ and...
AbstractA general uniqueness theorem for the abstract Cauchy problem x′(t) = f(t, x(t)); x(t) = P(t)...
AbstractIn this paper we study the uniqueness question of positive solutions of the two point bounda...
International audienceThe unique solution of contractions is a proof technique for (weak) bisimilari...
AbstractLet ∇2u+K2u+K2a1(x)u+∇·(a2(x)∇u)= −δ(x−1) in R3, where a1(x) ∈ L2(D), a2(x) ∈ H2(D), D ∈ R−3...
DOI
Add to ORKG