PDF hosted at the Radboud Repository of the Radboud University NijmegenEnd User Agreement • February 26th, 2024
Contract Type FiledFebruary 26th, 2024In line with LTSs and IOTSs, we partition a set of gates Λ in input gates ΛI and output gates ΛU . Moreover, for the remainder of the paper, we consider STSs to which the following restrictions apply: