Peloton Peloton In a road bicycle race, the peloton (from French, originally meaning 'platoon') is the main group or pack of riders. Riders in a group save energy by riding close (drafting or slipstreaming) near (particularly behind) other riders. The reduction in drag is dramatic; in the middle of a well-developed group drag can be reduced to as little as 5%-10%. Exploitation of this potential energy saving leads to very complex cooperative and competitive interactions between riders and teams in race tactics. The term is also used to refer to the community of professional cyclists in general, as in 'the professional
Bunched logic are formulae interpreted over an arbitrary partial commutative monoid instead of a particular heap model. By suitable choice of commutative monoid, it was surprisingly found that the proofs rules of abstract versions of concurrent separation logic could be used to reason about interfering concurrent processes, for example by encoding rely-guarantee and trace-based reasoning. Separation logic is the basis of a number of tools for automatic and semi-automatic reasoning about programs, and is used in the Infer program analyzer currently deployed at Facebook. Bunched logic has been used in connection with the (synchronous) resource-process calculus SCRP in order to give a