0 -- membubuh cangkuk
She made a barbed remark about Bill’s new girlfriend
The cattle of the two herds were separated by a barbed wire fence, and thus direct nose-to-nose contacts were possible.
What follows is a series of definitions leading up to our definition of barbed congruence.
We prove that structurally equivalent processes of the extended -calculus are barbed congruent.
Next, we prove that barbed congruence for the extended -calculus satisfies the congruence property.
To remedy this, we extract a congruence relation, barbed congruence, from barbed bisimilarity as follows.
The following are basic properties of barbed congruence needed for equational reasoning.
Like other contextually-defined forms of bisimulation, barbed congruence is sensitive to the set of operators of a calculus.
The resulting notion of bisimilarity is proved to be a congruence and to represent a sound approximation to barbed (observational) equivalence.
中文繁体
帶刺的,有倒刺的, (說話)帶刺的,譏諷的…
More中文简体
带刺的,有倒刺的, (话)带刺的,讥讽的…
MoreEspañol
con barbas, con una lengüeta, mordaz…
MorePortuguês
farpado, mordaz…
MoreFrançais
acéré…
MoreČeština
ostnatý, štiplavý…
MoreDansk
skarp…
MoreIndonesia
berduri…
More