@phdthesis{oai:tsukuba.repo.nii.ac.jp:00008795, author = {白銀, 哲也 and Shirogane, Tetsuya}, month = {}, note = {本論文では並行プログラム系の仕様記述および動作検証を遂行するための形式的体系としてtense arithmeticを提案すると共に実時間システムの検証について論ずる。計算機システムが大規模化・複雑化し、またその需要が増大 ..., 1998}, school = {筑波大学, University of Tsukuba}, title = {並行プログラム系の解析と検証の形式化}, year = {1999} }