Robustness of a bisimulation-type faster-than preorder

TACS is an extension of CCS where upper time bounds for delays can be specified. Luettgen and Vogler defined three variants of bismulation-type faster-than relations and showed that they all three lead to the same preorder, demonstrating the robustness of their approach. In the present paper, the operational semantics of TACS is extended; it is shown that two of the variants still give the same preorder as before, underlining robustness. An explanation is given why this result fails for the third variant. It is also shown that another variant, which mixes old and new operational semantics, can lead to smaller relations that prove the same preorder.Comment: Express Worksho

Revealing the planar chemistry of two-dimensional heterostructures at the atomic level

Two-dimensional (2D) atomic crystals and their heterostructures are an intense area of study owing to their unique properties that result from structural planar confinement. Intrinsically, the performance of a planar vertical device is linked to the quality of its 2D components and their interfaces, therefore requiring characterization tools that can reveal both its planar chemistry and morphology. Here, we propose a characterization methodology combining (micro-) Raman spectroscopy, atomic force microscopy and time-of-flight secondary ion mass spectrometry to provide structural information, morphology and planar chemical composition at virtually the atomic level, aimed specifically at studying 2D vertical heterostructures. As an example system, a graphene-on-h-BN heterostructure is analysed to reveal, with an unprecedented level of detail, the subtle chemistry and interactions within its layer structure that can be assigned to specific fabrication steps. Such detailed chemical information is of crucial importance for the complete integration of 2D heterostructures into functional devicesopen2