Functional Specification of Synchronized Processes Based on Modal Logic

@inproceedings{Yonezaki-Katayama:ICSE82,
  author    = {Naoki Yonezaki and
               Takao Katayama},
  title     = {Functional Specification of Synchronized Processes Based on Modal Logic},
  booktitle = {ICSE},
  pages     = {208--217},
  publisher = {{IEEE} Computer Society},
  year      = {1982},
}