// 程式p行為，通過向q發出Marker，發起snapshot
begin
       p record its state；
then
       send one Marker along c after p records its state and before p sends further messages along c
end

//程式q接受Marker後的行為，q記錄自身狀態，並記錄通道c的狀態
if q has not recorded its state then
        begin
              q records its state;
              q records the state c as the empty sequence
        end
else q records the state of c as the sequence of messages received along c after q’s state was recorded and before q received the marker along c. 
複製程式碼

// 初始化Operator
upon event (Init | input channels, output
channels, fun, init state) 
do
    state := init_state; 
    blocked_inputs := {};
    inputs := input_channels;
    out_puts := out_put channels; 
    udf := fun;

// 收到Barrier的行為
upon event (receive | input, (barrier)) 
do
//將當前input通道加入blocked 集合，並block該通道，此通道的訊息處理暫停
    if input != Nil then 
        blocked inputs := blocked inputs ∪ {input};
        trigger (block | input);
//如果所有的通道都已經被block，說明所有的barrier都已經收到
    if blocked inputs = inputs then 
        blocked inputs := {}; 
        broadcast (send | outputs, (barrier)); //向所有的outputs發出Barrier
        trigger (snapshot | state); //記錄本節點當前狀態
        for each inputs as input //解除所有通道的block，繼續處理訊息
            trigger (unblock | input);
複製程式碼