This paper generalizes the concept of Mazurkiewicz traces to a description of a concurrent process, where a known prefix is given as a trace in a first component and a second alphabetic component yields some information about future actions. This allows to define a good semantic domain where the concatenation is continuous with respect to the Scott- and to the Lawson topology. For this we define the notion of α and of δ-trace. We show various mathematical results proving thereby the soundness of our approach. Our theory is a proper generalization of the theory of finite and infinite words (with explicit termination) and of the theory of finite and infinite (real and complex) traces. We make use of trace theory, domain theory, and topology.
CITATION STYLE
Diekert, V., & Gastin, P. (1995). A domain for concurrent termination a generalization of Mazurkiewicz traces. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 944, pp. 15–26). Springer Verlag. https://doi.org/10.1007/3-540-60084-1_59
Mendeley helps you to discover research relevant for your work.