`event() = non_neg_integer() | {non_neg_integer(), event(), event()}`

event/1 | An event operation adds a new event to the event component, so that if {i, e'} results from event({i, e}) the causal ordering is such that e less than e'. |

fork/1 | The fork operation allows the cloning of the causal past of a stamp, resulting in a pair of stamps that have identical copies of the event component and distinct ids; fork({i, e}) = [{i1 , e}, {i2 , e}] such that i2 /= i1. |

join/2 | This operation merges two stamps, producing a new one. |

leq/2 | Less or equal. |

seed/0 | Initial ITC. |

An event operation adds a new event to the event component, so that if {i, e'} results from event({i, e}) the causal ordering is such that e less than e'.

**Introduced in:** 0.1.0

The fork operation allows the cloning of the causal past of a stamp, resulting in a pair of stamps that have identical copies of the event component and distinct ids; fork({i, e}) = [{i1 , e}, {i2 , e}] such that i2 /= i1. Typically, i = i1 and i2 is a new id.

**Introduced in:** 0.1.0

This operation merges two stamps, producing a new one. If join({i1, e1}, {i2, e2}) = {i3, e3}, the resulting event component e3 should be such that leq(e1, e3) and leq(e2, e3).

**Introduced in:** 0.1.0

Less or equal.

**Introduced in:** 0.1.0

`seed() -> itc()`

Initial ITC.

**Introduced in:** 0.1.0

*Generated by EDoc*