Event structures are a promi nent noni nterl eavi ng model for con-currency. Real-ti me event structures associ ate a set of ti me i nstants to events, model l i ng absol ute ti me constrai nts, and to causal dependenci es,model l i ng rel a-ti ve del ays betweencausal l y dependentevents. We i ntroduce thi s novel temporal model and show how i t can be used to provi de a denotati onal semanti ...
