A Tarskian system execution is a structure that describes a run of a system that is composed of several processes. Two types of system executions are defined: temporal based and precedence based. We exemplify the usage of system executions with the specification different types of registers: serial, atomic, safe, and regular.
原文链接
分享
引用
