55、并发对象的偏序事件模型

并发对象的偏序事件模型

1. 对象理论

考虑重写理论,其底层等式逻辑为成员等式逻辑。一个成员等式逻辑规范形式为 (Ω, Γ) ,其中 Ω 包含种类族 K 、特定形式的运算符族, Γ 是一组 Horn 子句。对于重写理论 R = ((Ω, Γ), R) ,需描述等式部分 (Ω, Γ) 和规则 R 的约束。

  • 等式部分
    • 存在一个特殊的配置种类 Conf ,有二元运算 _ _ ,满足结合律、交换律,中性元素为 ,且 Ω 中无其他以 Conf 元素为参数的运算。
    • 有子种类 Coh < Conf 表示连贯配置,满足 ∅: Coh U V : Coh ⇒ U : Coh ∧ V : Coh
    • 对于任意变量集 X ,自由代数 TΩ,Γ (X) Conf 种类的元素在运算 _ _ 和中性元素 下,构成变量和“外来子项”的自由多重集。
    <
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值