Language Features for Description of Cooperating Processes

@inproceedings{Banatre-Banatre:ICSE79,
  author    = {Jean{-}Pierre Ban{\^{a}}tre and
               Michel Ban{\^{a}}tre},
  title     = {Language Features for Description of Cooperating Processes},
  booktitle = {ICSE},
  pages     = {308--314},
  publisher = {{IEEE} Computer Society},
  year      = {1979},
}