0 -- (ตะขอหรือลูกศร) ที่มีเงี่ยงโค้งออก; (การพูดจา) กระทบกระแทก
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.