CSL Family Tree

With the recently increased interest in the CS community to concurrency verification, this slide, which I’ve made sometime ago and which depicts the “flow of ideas” between modern concurrency logics, became very popular, so I decided to put it online for anyone who might want to use it in a presentation. I will keep it updated with more logics to come. Feel free to drop me a line if you need the diagram’s sources or want me to add your favourite logic, which is missing.

Update: The CSL Family Tree depiction is now featured in the Wikipedia article on Interference freedom (courtesy of David Gries).


Invited and informal talks, workshop presentations, lectures and seminars, with the slides, are listed below. Slides for conference talks are available in the publications page.