線形化可能性

並行プログラミングにおいて操作（または操作の集合）は、呼び出しイベントと応答イベント（コールバック）の順序付きリストで構成されており、応答イベントを追加することで以下のように拡張できる場合、線形化可能である。拡張されたリストは逐次履歴として再表現することができる（直列化可能である）。