我们的代数语义相对于前面所作的操作语义模型来讲是可靠的,即所有的这些代数规则左右两边的进程在操作语义的观察模型下都是互模拟的。
All the laws presented above are sound with respect to the operational semantics , i . e. , if the two processes are the two sides of a law, then they are bisimilar.
特别是,内存模型定义了保证内存操作跨线程的可见性的volatile、synchronized和final的语义。
In particular, the memory model defines semantics for volatile, synchronized, and final that make guarantees of visibility of memory operations across threads.
有许多处理语义互操作性的行业标准,其中包含了垂直行业和水平行业的数据和数据模型标准。
Many industry standards deal with semantic interoperability, which include data and data model standards for vertical and horizontal industries.
应用推荐