Semantic analysis of communicating sequential processes

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	7th International Colloquium on Automata, Languages and Programming
Editors	J. de Bakker, J. van Leeuwen
Publisher	Springer
Pages	119-133
State	Published - Jul 1980

Name	LNCS 85

Cite this

@inproceedings{72e02af9b8284cba9f9bf1cf3df23625,

title = "Semantic analysis of communicating sequential processes",

author = "Patrick Cousot and Radhia Cousot",

year = "1980",

month = jul,

language = "English (US)",

series = "LNCS 85",

publisher = "Springer",

pages = "119--133",

editor = "{de Bakker}, J. and {van Leeuwen}, J.",

booktitle = "7th International Colloquium on Automata, Languages and Programming",

}