Powerpoint tutorials by Maurice Herlihy at Brown University.
Asynchronous sequential logic and its mathematical instruments: venjunction and sequention.