Dynamic priority systems can be used as both modeling tools to build concurrent and distributed systems and semantic foundations to define prioritised operators in programming languages.
动态优先系统既可以作为并发与分布式系统的建模工具，也可以作为定义程序设计语言中优先算子的语义基础。
Concurrent access to data from all nodes in a cluster and the high availability built into some distributed file systems are a couple of reasons why they are ideal for a cluster environment.
集群中所有节点对数据的并发访问，以及某些分布式文件系统所内置的高可用性，是它们成为集群环境理想选择的两方面原因。
This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems.
这本书的研究与自动机和一元二阶逻辑关系，对自动机类重点描述分布式系统的并发行为。
This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems.
这本书的研究与自动机和一元二阶逻辑关系，对自动机类重点描述分布式系统的并发行为。
应用推荐