Semantic Analysis of Communicating Sequential Processes (Shortened Version).

Patrick Cousot, Radhia Cousot

Browse the full ICALP paper archive.