CCSK is a reversible form of CCS which is causal, meaning that actions can be reversed if and only if each action caused by them has already been reversed; there is no control on whether or when a computation reverses. We propose an event structure semantics for CCSK. For this purpose we define a category of reversible bundle event structures, and use the causal subcategory to model CCSK. We then modify CCSK to control the reversibility with a rollback primitive, which reverses a specific action and all actions caused by it. To define the event structure semantics of rollback, we change our reversible bundle event structures by making the conflict relation asymmetric rather than symmetric, and we exploit their capacity for non-causal reversibility.

CCSK是CCS的可逆形式，是因果关系，这意味着，并且仅当由它们引起的每个动作已经被撤销时，才可以撤销该动作。无法控制是否或何时逆转计算。我们为CCSK提出了一种事件结构语义。为此，我们定义了可逆束事件结构的类别，并使用因果子类别对CCSK进行建模。然后，我们修改CCSK以使用回滚原语来控制可逆性，该原语可逆转特定操作及其引起的所有操作。为了定义回滚的事件结构语义，我们通过使冲突关系不对称而不是对称来更改可逆包事件结构，并利用其实现非因果可逆性的能力。