@article{oai:ipsj.ixsq.nii.ac.jp:00016751,
 author = {渡邊, 宏 and Hiroshi, Watanabe},
 issue = {SIG04(PRO17)},
 journal = {情報処理学会論文誌プログラミング（PRO）},
 month = {Mar},
 note = {分配則間のマップが，言語の振舞いを表す遷移系の間の双模倣を導くこと，すなわち操作的意味を保存する変換を与えることを簡単な議論で示す．また分配則のマップの具体例も示す．操作的規則のモデル化はTuri とPlotkin による分配則モデルを使う．分配則間のマップとは分配則の2?圏の1?セルである．, We examine two versions of maps between distributive laws as candidates for well-behaved translations between structural operational semantics, and validate that by using simple coalgebraic arguments. We give some concrete examples of well-behaved translations that are maps between distributive laws. The modelling of structural operational semantics uses Turi and Plotkin’s categorical models of GSOS. These maps between distributive laws come from the previous work on 2-categories of distributive laws.},
 pages = {81--81},
 title = {操作的意味の間の変換},
 volume = {44},
 year = {2003}
}