• 洛托斯

  • 在152篇文章中引用[sw02961]
  • 虽然它适用于分布式系统,同时发生的 系统一般来说。在LOTOS a中系统...
  • 塞萨尔

  • 引用159篇文章[sw08510]
  • 规范和验证同时发生的 系统在塞萨尔。本文的目的是。。。
  • SLMC公司

  • 引用71篇文章[sw04604]
  • SLMC:一种模型检验工具同时发生的 系统反对动态空间逻辑规范。空间。。。系统在空间逻辑中表达的安全性、活性和结构属性并发... 软件时间属性的检查技术系统. 然而,当分析集中在属性时。。。
  • MWB公司

  • 参考33篇文章[sw04395]
  • 操作和分析移动设备的工具同时发生的 系统(具有不断发展的连接结构)描述。。。
  • 二郎

  • 引用113篇文章[sw07202]
  • 信息。Erlang的运行时系统内置支持并发,分布和容错。。。
  • 皮克特

  • 引用71篇文章[sw08929]
  • 方便语法糖和静态类型系统到一个微小的核心。当前版本。。。一个广泛的阶级的理论基础同时发生的计算。图片中的目标。。。顺序编程、选择性通信和同时发生的物体。类型系统集成了许多功能。。。
  • 克里奥尔

  • 引用25篇文章[sw09421]
  • 面向对象的安全分布式模型同时发生的 系统. 面向对象的分布式计算正变得越来越。。。
  • 帕穆德

  • 引用了30篇文章[sw08422]
  • 概率建模规范语言同时发生的和分布系统. 这种语言,以普穆德为基础。。。通过离散事件仿真。因为分布式和同时发生的通信协议可以用参与者建模。。。同时发生的对象与异步消息传递),我们提供了一个actor PMaude模块。模块辅助。。。量化)概率中的非确定性系统是一种统计分析的必要形式。。。
  • 更新

  • 17条引用[sw04387]
  • 公认的描述方法同时发生的 系统. 多年来,对基本的。。。
  • 百万吨

  • 引用16条[sw07905]
  • 编程语言语义和同时发生的 系统. 本文报道了该技术的发展。。。
  • 并发工作台

  • 参考12篇文章[sw14749]
  • 描述、探索和自动验证系统. 爱丁堡并发工作台概要:爱丁堡并发工作台。。。操纵和分析同时发生的 系统. 特别是,CWB允许各种等价性,预订单。。。
  • 凯撒解决方案

  • 在14篇文章中引用[sw10194]
  • 有限状态下的各种验证问题同时发生的 系统例如等价性检验和模型检验。。。
  • 舒适的

  • 在14篇文章中引用[sw30494]
  • 过程。一种用于指定系统属于同时发生的进程共享分布式系统资源。。。定义小说,高度同时发生的以及执行重要操作的分布式算法系统功能。符号允许。。。算法以及他们的新颖,高度同时发生的以及分布式实现。。。
  • ABCL公司

  • 在14篇文章中引用[sw28079]
  • ABCL:面向对象的同时发生的 系统. 这本书提供了一个新范式的概述。。。
  • 真相/SLC

  • 引用8篇文章[sw01623]
  • Truth/SLC——一个并行验证平台同时发生的 系统.同时发生的软件和硬件系统播放。。。旨在为系统设计并确定其正确性。。。安全关键设计同时发生的 系统特别或传统的软件工程方法。。。
  • PostgreSQL

  • 引用72篇文章[sw15935]
  • 正确性。它运行在所有主要的操作系统上系统,包括Linux、UNIX。。。拥有复杂的功能,如多版本并发控制(MVCC)、时间点恢复、表空间。。。数量同时发生的它可以容纳的用户。有活动的PostgreSQL系统在生产环境中。。。
  • 薄层色谱法

  • 引用13篇文章[sw09530]
  • 规格说明见同时发生的 系统,也描述了TLC。但是,它没有。。。
  • 厚板

  • 引用8篇文章[sw09875]
  • 无限状态的证明模型检验器同时发生的 系统.系统和协议结合并发无限。。。自动地。同时,如果系统是正确的,它是可取的。。。无限状态的证明模型检验器同时发生的 系统. 该工具使用一个交错的过程。。。
  • 拍打

  • 参考33篇文章[sw13258]
  • 合成、模拟和推理同时发生的,实时系统以及其他可能的领域。它来了。。。
  • TLA公司

  • 在26篇文章中引用[SW042号文件]
  • 编写高级规范同时发生的和分布系统. PlusCal是一种算法语言。。。