Exempel på 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.