国产bbaaaaa片,成年美女黄网站色视频免费,成年黄大片,а天堂中文最新一区二区三区,成人精品视频一区二区三区尤物

首頁> 外文會議>International Colloquium on Theoretical Aspects of Computing; 20070926-28; Macao(CN) >Reflection and Preservation of Properties in Coalgebraic (bi) Simulations
【24h】

Reflection and Preservation of Properties in Coalgebraic (bi) Simulations

機(jī)譯：煤代（bi）模擬中的反射和性質(zhì)保留

獲取原文
獲取原文并翻譯 | 示例
  • 摘要
  • 著錄項(xiàng)
  • 相似文獻(xiàn)
  • 相關(guān)主題

摘要

Our objective is to extend the standard results of preservation and reflection of properties by bisimulations to the coalgebraic setting, as well as to study under what conditions these results hold for simulations. The notion of bisimulation is the classical one, while for simulations we use that proposed by Hughes and Jacobs. As for properties, we start by using a generalization of linear temporal logic to arbitrary coalgebras suggested by Jacobs, and then an extension by Kurtz which includes atomic propositions too.
機(jī)譯：我們的目標(biāo)是通過雙仿真將標(biāo)準(zhǔn)保存和反映屬性的標(biāo)準(zhǔn)結(jié)果擴(kuò)展到煤代環(huán)境，并研究這些結(jié)果在何種條件下適合仿真。雙仿真的概念是經(jīng)典的，而對于仿真，我們使用休斯和雅各布斯提出的仿真。至于屬性，我們首先使用線性時態(tài)邏輯到雅各布斯（Jacobs）提出的任意合并代數(shù)的推廣，然后是庫爾茲（Kurtz）的擴(kuò)展，其中也包括原子命題。

著錄項(xiàng)

相似文獻(xiàn)

  • 外文文獻(xiàn)
  • 中文文獻(xiàn)
  • 專利
獲取原文

客服郵箱：kefu@zhangqiaokeyan.com

京公網(wǎng)安備：11010802029741號 ICP備案號：京ICP備15016152號-6 六維聯(lián)合信息科技 (北京) 有限公司?版權(quán)所有

  • 客服微信

  • 服務(wù)號