2007-10-26から1日間の記事一覧
MSCからProcess代数へのマッピングがしっくりこなくてAlureのイベント依存関係経由でPAにもってゆこうとしていたがどうもすっきりしない。 そこでdiscrete Timed PAなるものを読んでみることにしたhttp://citeseer.ist.psu.edu/341551.htmlというのをみると…
MSCからProcess代数へのマッピングがしっくりこなくてAlureのイベント依存関係経由でPAにもってゆこうとしていたがどうもすっきりしない。 そこでdiscrete Timed PAなるものを読んでみることにしたhttp://citeseer.ist.psu.edu/341551.htmlというのをみると…