中央研究院 資訊科學研究所

活動訊息

友善列印

列印可使用瀏覽器提供的(Ctrl+P)功能

A Guarded Workflow Language and its Formal Semantics

:::

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演講廳