Eksempler på barb

• The teeth of the sting act as barbs.

• We need to show that all barbs imply each other.

• The main difficulty when proving that two processes are barbed congruent is represented by the quantification over contexts in the definition of barbed congruence.

• In both cases the replication theorems are shown valid with respect to (typed) barbed congruence by proving a few barbed bisimilarities.

• A preliminary study on the application of the internal structure of feather barbs to avian taxonomy.

• Moreover, alley bisimilarity is complete with respect to barbed equivalence for the class of structurally image-finite processes, that is, processes that are image-finite up to structural equivalence.

• Next, a standard definition of the barbs exhibited by a process formalizes the idea of the external reads and writes through which a process may interact with its environment.

• Connections between two of these artefact types - the antler frontlets and barbed antler points - suggest that some of these items at least retained a strong sense of their 'animalness'.