On the domain of traces and sequential composition

DOI10.1007/3-540-53982-4_3MaRDI QIDQ2736356zbMATH OpenFDO

Authors Marta Kwiatkowska

Publication date 29 August 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-53982-4_3

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Recommendations

• On the concatenation of infinite traces
• Projection representation of Mazurkiewicz traces
• scientific article; zbMATH DE number 176497
• Rational and recognizable complex trace languages
• Infinite concurrent systems. I: The relationship between metric and order convergence

Cited in

(17)

• Approximating traces
• An extension of Kleene's and Ochmański's theorems to infinite traces
• Infinite concurrent systems. I: The relationship between metric and order convergence
• Concurrent algorithm for integrating three-dimensional B-spline functions into machines with shared memory such as GPU
• An extension of the wreath product principle for finite Mazurkiewicz traces
• Compositionality Entails Sequentializability
• A Characterization of Combined Traces Using Labeled Stratified Order Structures
• scientific article; zbMATH DE number 176497 (Why is no real title available?)
• A domain for concurrent termination a generalization of Mazurkiewicz traces (extended abstract)
• Fixed points of endomorphisms of trace monoids.
• Poset properties of complex traces
• Associative omega-products of traces
• Projection representation of Mazurkiewicz traces
• Trade-offs in true concurrency: Pomsets and mazurkiewicz traces
• The poset of infinitary traces
• Concurrency of the exponential integrators for the glioblastoma brain tumor simulations
• A metric for traces

This page was built for publication: On the domain of traces and sequential composition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2736356)