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.

Semantic analysis of communicating sequential processes. / Cousot, Patrick; Cousot, Radhia.

7th International Colloquium on Automata, Languages and Programming. ed. / J. de Bakker; J. van Leeuwen. Springer, 1980. p. 119-133 (LNCS 85).

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

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. LNCS 85, Springer, pp. 119-133.
Cousot P, Cousot R. Semantic analysis of communicating sequential processes. In de Bakker J, van Leeuwen J, editors, 7th International Colloquium on Automata, Languages and Programming. Springer. 1980. p. 119-133. (LNCS 85).
Cousot, Patrick ; Cousot, Radhia. / Semantic analysis of communicating sequential processes. 7th International Colloquium on Automata, Languages and Programming. editor / J. de Bakker ; J. van Leeuwen. Springer, 1980. pp. 119-133 (LNCS 85).
@inproceedings{72e02af9b8284cba9f9bf1cf3df23625,
title = "Semantic analysis of communicating sequential processes",
author = "Patrick Cousot and Radhia Cousot",
year = "1980",
month = "7",
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",

}

TY - GEN

T1 - Semantic analysis of communicating sequential processes

AU - Cousot, Patrick

AU - Cousot, Radhia

PY - 1980/7

Y1 - 1980/7

M3 - Conference contribution

T3 - LNCS 85

SP - 119

EP - 133

BT - 7th International Colloquium on Automata, Languages and Programming

A2 - de Bakker, J.

A2 - van Leeuwen, J.

PB - Springer

ER -