Lazy buffer semantics for partial order scenarios

There exists a unique minimal generalisation of a UML sequence diagram (SD) that is race free, known as the inherent causal scenario. However, practitioners sometimes regard this solution as invalid since it is a purely mathematical construct that apparently does not describe a concrete software engineering solution for resolving race conditions. Practitioners often implement SDs with random access input buffers. Messages are then consumed correctly regardless of the order or time at which they arrive, which appears to avoid race conditions altogether. However, this approach changes the observable system behaviour from that specified. We refer to this approach as the lazy buffer realization of a SD. We introduce an operational semantics for the lazy buffer realization. We prove the inherent causal scenario global behaviour is bisimulation equivalent to the global behaviour of lazy buffer semantics. Hence, in this sense, the practitioners solution is theoretically the best possible. Also this proves that the inherent causal scenario does represent a ‘real-world’ software solution

Late Pleistocene and Holocene uplift history of Cyprus: implications for active tectonics along the southern margin of the Anatolian microplate

<p>The nature of the southern margin of the Anatolian microplate during the Neogene is complex, controversial and fundamental in understanding active plate-margin tectonics and natural hazards in the Eastern Mediterranean region. Our investigation provides new insights into the Late Pleistocene uplift history of Cyprus and the Troodos Ophiolite. We provide isotopic (¹⁴C) and radiogenic (luminescence) dates of outcropping marine sediments in eastern Cyprus that identify periods of deposition during marine isotope stages (MIS) 3, 4, 5 and 6. Past sea-levels indicated by these deposits are <em>c.</em> 95±25 m higher in elevation than estimates of worldwide eustatic sea-level. An uplift rate of <em>c.</em> 1.8 mm/year and possibly as much as <em>c.</em> 4.1 mm/year in the past <em>c.</em> 26–40 ka is indicated. Holocene marine deposits also occur at elevations higher than those expected for past SL and suggest uplift rates of <em>c.</em> 1.2–2.1 mm/year. MIS-3 marine deposits that crop out in southern and western Cyprus indicate uniform island-wide uplift. We propose a model of tectonic wedging at a plate-bounding restraining bend as a mechanism for Late Pleistocene to Holocene uplift of Cyprus; uplift is accommodated by deformation and seismicity along the margins of the Troodos Ophiolite and re-activation of its low-angle, basal shear zone. </p