Functional Specification of Synchronized Processes Based on Modal Logic.

Naoki Yonezaki, Takao Katayama

Browse the full ICSE paper archive.