Currently, signal conjunctions like a & b do not have any temporal implication for the order in which the signals must arrive. This is a performance bottleneck - many specific states should only be considered if they have already acquired their specific signal(s), and not block processing of a more generic signal otherwise.
Currently, signal conjunctions like
a & bdo not have any temporal implication for the order in which the signals must arrive. This is a performance bottleneck - many specific states should only be considered if they have already acquired their specific signal(s), and not block processing of a more generic signal otherwise.