Stem barb$ (all stems)

5 papers:

FoSSaCS-2009-BonchiGM #mobile #semantics

Reactive Systems, Barbed Semantics, and the Mobile Ambients (FB, FG, GVM), pp. 272–287.

FoSSaCS-2007-RathkeSS #semantics

Semantic Barbs and Biorthogonality (JR, VS, PS), pp. 302–316.

QAPL-2007-DengD #congruence #probability

Probabilistic Barbed Congruence (YD, WD), pp. 185–203.

ICALP-1992-MilnerS #bisimulation

Barbed Bisimulation (RM, DS), pp. 685–695.

FPCA-1991-MeijerFP #functional #lens #programming

Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire (EM, MMF, RP), pp. 124–144.