Patrick Cousot, Radhia Cousot. Semantic Analysis of Communicating Sequential Processes (Shortened Version). In J. W. de Bakker, Jan van Leeuwen, editors, Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout, The Netherland, July 14-18, 1980, Proceedings. Volume 85 of Lecture Notes in Computer Science, pages 119-133, Springer, 1980.
Abstract is missing.