• 洛托斯

  • 148篇参考文献[SW0961]
  • 虽然适用于分布式,同时发生的 系统一般来说。在LOTOS系统
  • 塞萨尔

  • 146篇参考文献[SW0810]
  • 规范与验证同时发生的 系统在塞萨尔。本文的目的是…
  • SLMC

  • 69篇参考文献[SW04604]
  • SLMC:一种用于模型检验的工具同时发生的 系统针对动态空间逻辑规范。空间…系统在空间逻辑中表达的安全性、活跃性和结构属性并发性软件时态性检查技术系统. 然而,当分析聚焦于属性时…
  • 皮克特

  • 70篇参考文献[ SW08929 ]
  • 方便糖与静态糖系统到一个微小的核心。当前版本…一类宽泛的理论基础同时发生的计算。PICT的目标…订单编程,选择性通信,以及同时发生的目标类型系统集成了许多特性…
  • 二郎

  • 100篇参考文献[SW07202]
  • 发送消息埃尔朗运行时系统内置支持并发性分布和容错…
  • 克雷尔

  • 25篇参考文献[SW09421]
  • 面向对象的分布式安全对象模型同时发生的 系统. 面向对象的分布式计算正变得越来越重要。
  • 更新

  • 17篇参考文献[SW0487]
  • 良好的描述方法同时发生的 系统. 多年来,许多扩展到基本…
  • 普茂德

  • 29篇参考文献[SW08422]
  • 概率建模语言同时发生的分布式系统. 基于PMAUDE的语言…通过离散事件仿真。因为分布式和同时发生的通信协议可以使用演员建模…同时发生的带有异步消息传递的对象,我们提供了一个演员PMAUDE模块。该模块有助于…概率论中的非决定论系统对于一种统计分析是必要的…
  • 蒙脱土

  • 16篇参考文献[SW07905]
  • 编程语言语义学实例同时发生的 系统. 本文报道的发展…
  • 并发工作台

  • 12篇参考文献[SW1479]
  • 描述、探索与自动验证系统. 爱丁堡并发性工作台概述:爱丁堡并发性工作台…操纵与分析同时发生的 系统. 特别是,CWB允许各种等价性,预序…
  • 凯萨尔解

  • 14篇参考文献[SW10194]
  • 有限状态下的各种验证问题同时发生的 系统如等价性检查和模型检验…
  • 舒适的

  • 14篇参考文献[SW30494]
  • 过程。一种新的表示法系统属于同时发生的分布式共享进程系统资源…定义新颖,高度同时发生的执行重要操作的分布式算法系统功能。符号允许…算法,以及他们的小说,高度同时发生的和分布式实现…
  • ABCL

  • 14篇参考文献[SW28079]
  • 面向对象的ABCL同时发生的 系统. 这本书提供了新范式的概述。
  • 真理/ SLC

  • 8篇参考文献[ SW01623 ]
  • Trime/SLC——一种并行验证平台同时发生的 系统.同时发生的软硬件系统播放旨在给予严格的支持系统设计并建立其正确性。安全关键设计同时发生的 系统在特定的或传统的软件工程方法…
  • 厚板

  • 8篇参考文献[SW09875 ]
  • 无限状态认证模型检查器同时发生的 系统.系统协议组合并发性无限…自动地。同时,如果系统是正确的,这是可取的…无限状态认证模型检查器同时发生的 系统. 工具使用交错的程序…
  • 薄层色谱法

  • 12篇参考文献[ SW09530]
  • 规范说明同时发生的 系统这也描述了薄层色谱法。然而,它不…
  • 波斯特雷斯尔

  • 64篇参考文献[SW15935]
  • 正确性。它运行在所有主要操作上系统,包括Linux,UNIX…拥有复杂的特性,如多版本并发性控制(MVCC),时间点恢复,表空间…同时发生的用户可以容纳。活跃的PostgreSQL系统在生产环境中…
  • TLA

  • 25篇参考文献[SW044 42]
  • 编写高级规范同时发生的分布式系统. PulsCAL是一种算法语言,…
  • FC2工具

  • 11篇参考文献[SW1286]
  • 用于验证的工具集同时发生的 系统. FC2工具包,连同它的图形编辑器…