Agreement: if a message m is delivered by some correct process p i, then m is eventually delivered by every correct process p j.
In this function, m is added to the set of pending messages and then all pending messages which were broadcast by the same process that broadcast m (s o u r c e(m)) are delivered in increasing order of timestamps, provided no message is missing in the sequence of timestamps (lines 36 - 41).
Cathodal S2 shocks of 25 to 250 V lasting 3 ms were delivered from a mesh electrode along one side of the mapped area to scan the recovery period, creating isogradient electric field lines perpendicular to the isorecovery lines.
Supramaximal voltages with a pulse width of 1 ms were delivered to muscles by a pair of platinum electrodes placed in parallel.
Visual stimuli (red LEDs) of same duration (50 ms) were delivered simultaneously to the sound in cases of visuo-auditory conditions (see below).
To establish the pre- or postsynaptic origin of changes in synaptic strength, pairs of pulses of 60 µA separated by 100 ms were delivered.
For whole cell currents recordings, voltage stimuli lasting 250 ms were delivered at 1- to 5-s intervals, with voltage ramps ranging from −120 to +100 mV.
Under calcium-free conditions, pairs or triple neuron assemblies were simultaneously recorded while three extracellular stimuli (10 100 µA for 2 ms) were delivered locally at 30 s intervals as above.
Dim flashes of green light of duration 0.2 18 ms were delivered to the preparation by an LED (OD520; Optodiode Corp., Newbury Park CA), through an optical band pass filter (509 519 nm) and a neutral density filter (2 log units), placed beneath the recording chamber.
Supramaximal square wave pulses lasting 100 ms were delivered using a Toennies Neuroscreen® (Jaeger, Hoechsberg, Germany).
TMS pulses (10 Hz, i.e., separated by 100 ms) were delivered before the onset of the spoken target word.
