Semantic analysis of communicating sequential processes

Patrick Cousot, Radhia Cousot

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publication7th International Colloquium on Automata, Languages and Programming
EditorsJ. de Bakker, J. van Leeuwen
PublisherSpringer
Pages119-133
StatePublished - Jul 1980

Publication series

NameLNCS 85

Cite this

Cousot, P., & Cousot, R. (1980). Semantic analysis of communicating sequential processes. In J. de Bakker, & J. van Leeuwen (Eds.), 7th International Colloquium on Automata, Languages and Programming (pp. 119-133). (LNCS 85). Springer.