"Semantic Analysis of Communicating Sequential Processes (Shortened Version)."

Patrick Cousot, Radhia Cousot (1980)
a service of Schloss Dagstuhl - Leibniz Center for Informatics