Architecture of a conservative LP –LPs communicate by sending non-decreasing timestamped messages –each LP keeps a static FIFO channel for each LP with incoming communication –each FIFO channel (input channel, IC) has a clock c i that ticks according to the timestamp of the topmost message, if any, otherwise it keeps the timestamp of the last message LP B LP A LP C LP D c 1 =t B 1 tB1tB1 tB2tB2 tC3tC3 tC4tC4 tC5tC5 tD4tD4 c 2 =t C 3 c 3 =t D 3
{}