A Guarded Workflow Language and its Formal Semantics 講者Chen-Wei Wang (Doctoral Candidate, Oxford University Computing Laboratory)邀請人:廖純中老師 時間2010-08-30 (Mon.) 14:00 ~ 16:00 地點本所新館106演講廳