Đây là examples của từ liên quan đến barbed. Nhấp vào bất kỳ từ nào để đến trang chi tiết của từ đó. Hoặc, đi tới định nghĩa của barbed.
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.
The equivalences considered include typed versions of testing equivalences and barbed bisimulation equivalences.
The fact that hedges were usually made of hawthorn, a form of organic barbed wire, takes on an added significance here.
To the right of the barbed wire is an identical camp.
Antlers were partitioned from red deer and transformed into the frontlets and also into barbed points.
The visual environment was saturated with political slogans and symbols, while boundaries between ethnically polarised communities were materialised by khaki check-posts and barbed barricades.
On the other hand, purchased materials, such as barbed wire, poles, and bamboo, are used in some private plantations.
The following are basic properties of barbed congruence for the untyped calculus.
