barbed Význam & definice

Příklady 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.