Theory of traces
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3885321 (Why is no real title available?)
- scientific article; zbMATH DE number 3887060 (Why is no real title available?)
- scientific article; zbMATH DE number 3870628 (Why is no real title available?)
- scientific article; zbMATH DE number 3874641 (Why is no real title available?)
- scientific article; zbMATH DE number 3808972 (Why is no real title available?)
- scientific article; zbMATH DE number 3811868 (Why is no real title available?)
- scientific article; zbMATH DE number 3896285 (Why is no real title available?)
- scientific article; zbMATH DE number 3903969 (Why is no real title available?)
- scientific article; zbMATH DE number 3921989 (Why is no real title available?)
- scientific article; zbMATH DE number 3924146 (Why is no real title available?)
- scientific article; zbMATH DE number 3956459 (Why is no real title available?)
- scientific article; zbMATH DE number 3970130 (Why is no real title available?)
- scientific article; zbMATH DE number 3972221 (Why is no real title available?)
- scientific article; zbMATH DE number 3978397 (Why is no real title available?)
- scientific article; zbMATH DE number 3978418 (Why is no real title available?)
- scientific article; zbMATH DE number 4020497 (Why is no real title available?)
- scientific article; zbMATH DE number 3654376 (Why is no real title available?)
- scientific article; zbMATH DE number 3679192 (Why is no real title available?)
- scientific article; zbMATH DE number 3707757 (Why is no real title available?)
- scientific article; zbMATH DE number 3735177 (Why is no real title available?)
- scientific article; zbMATH DE number 3740770 (Why is no real title available?)
- scientific article; zbMATH DE number 3765174 (Why is no real title available?)
- scientific article; zbMATH DE number 3765179 (Why is no real title available?)
- scientific article; zbMATH DE number 3774866 (Why is no real title available?)
- scientific article; zbMATH DE number 3594628 (Why is no real title available?)
- scientific article; zbMATH DE number 3639144 (Why is no real title available?)
- scientific article; zbMATH DE number 568838 (Why is no real title available?)
- scientific article; zbMATH DE number 3798998 (Why is no real title available?)
- scientific article; zbMATH DE number 3293666 (Why is no real title available?)
- scientific article; zbMATH DE number 3307592 (Why is no real title available?)
- scientific article; zbMATH DE number 3311755 (Why is no real title available?)
- scientific article; zbMATH DE number 3413820 (Why is no real title available?)
- scientific article; zbMATH DE number 3099365 (Why is no real title available?)
- A characterization of context-free string languages by directed node- label controlled graph grammars
- A lattice-theoretical fixpoint theorem and its applications
- An application of the theory of free partially commutative monoids: Asymptotic densities of trace languages
- Combinatorial problems of commutation and rearrangements
- Communicating sequential processes
- Decomposing partial orderings into chains
- Matrices de Hankel
- Maximal serializability of iterated transactions
- Membership problems for regular and context-free trace languages
- Multiserialization of iterated transactions
- Notes on finite asynchronous automata
- On ranking 1-way finitely ambiguous NL languages and $\# P_1$-complete census functions
- On regular trace languages
- Parallel concepts in graph theory
- Partial commutations and faithful rational transductions
- Recognizable subsets of some partially Abelian monoids
- Rough sets
- Semi-commutations
- Some properties of commutation in free partially commutative monoids
- Square-free words on partially commutative free monoids
- Trace languages defined by regular string languages
- Traces, dependency graphs and DNLC grammars
- Une condition suffisante de reconnaissabilité dans un monoïde partiellement commutatif
Cited in
(92)- Subclasses of recognizable trace languages
- Topological aspects of traces
- Poset properties of complex traces
- Recognizable and logically definable languages of infinite computations in concurrent automata
- CD-systems of stateless deterministic R(1)-automata governed by an external pushdown store
- Trace theories and localization
- Efficient rewriting in cograph trace monoids
- The word problem for \(1\mathcal{LC}\) congruences is NP-hard.
- An Automata-Theoretical Characterization of Context-Free Trace Languages
- Deterministic pushdown-CD-systems of stateless deterministic R(1)-automata
- On the synchronization of traces
- Infinite concurrent systems. I: The relationship between metric and order convergence
- A note on the construction of marked graphs
- Semi-commutations and Petri nets
- scientific article; zbMATH DE number 4064449 (Why is no real title available?)
- Resource traces: A domain for processes sharing exclusive resources.
- Net models of discrete information transducers. I
- On restarting automata with window size one
- Linear automata with translucent letters and linear context-free trace languages
- Computing Petri net languages by reductions
- Languages and logical definability in concurrency monoids
- scientific article; zbMATH DE number 4179485 (Why is no real title available?)
- SC-expressions in object-oriented languages
- Nonexpressibility of fairness and signaling
- A generalization of traces
- Partially abelian squarefree words
- Executions: A new partial-order semantics of Petri nets
- The monadic second-order logic of graphs. X: Linear orderings
- The Implementation of Mazurkiewicz Traces in POEM
- On undecidability of propositional temporal logics on trace systems
- Traceable Sets
- Representation of computations in concurrent automata by dependence orders
- Efficient solution of some problems in free partially commutative monoids
- On a subclass of context-free groups
- Characterizations of the trace
- A remark on the representation of trace monoids
- Lyndon traces and shuffle algebras
- Logical definability of some rational trace languages
- Trace-oriented models of concurrency
- Recognizable trace languages, distributed automata and the distribution problem
- The expressive power of indeterminate dataflow primitives
- On recognizable and rational formal power series in partially commuting variables
- The complexity of regular DNLC graph languages
- Word problems over traces which are solvable in linear time
- Asynchronous cellular automata for infinite traces
- An extension of Kleene's and Ochmański's theorems to infinite traces
- Decidability of the star problem in \(A^*\times{}\{ b\}^*\)
- On some decision problems for trace codings
- Recognizable languages in concurrency monoids
- Semi-commutations and rational expressions
- Traces of operators and their history
- Probabilistic asynchronous automata
- scientific article; zbMATH DE number 3924146 (Why is no real title available?)
- Probabilistic estimation of the number of prefixes of a trace
- The shuffle algebra and its derivations
- The Kleene-Schützenberger theorem for formal power series in partially commuting variables.
- \(\Pi_ 1^ 1\)-universality of some propositional logics of concurrent programs
- Lyndon heaps: An analogue of Lyndon words in free partially commutative monoids
- Weak equivalence of higher-dimensional automata
- On the concatenation of infinite traces
- The poset of infinitary traces
- Compositionality in dataflow synchronous languages: Specification and distributed code generation
- Characterizations of the decidability of some problems for regular trace languages
- Generating symbolic traces in the insertion modeling system
- Möbius functions and confluent semi-commutations
- Infinite traces and symbolic dynamics
- Compositional relational semantics for indeterminate dataflow networks
- Local testability from words to traces, a suitable definition
- scientific article; zbMATH DE number 4030996 (Why is no real title available?)
- On the structure of recognizable languages of dependence graphs
- Logical definability on infinite traces
- Algebra and theory of order-deterministic pomsets
- Trace monoids with some invertible generators: Two decision problems
- scientific article; zbMATH DE number 4119618 (Why is no real title available?)
- Shuffle on trajectories: Syntactic constraints
- Asynchronous automata versus asynchronous cellular automata
- From domains to automata with concurrency
- The lattices of prefixes and overlaps of traces
- Step traces
- Connections between a concrete and an abstract model of concurrent systems
- A kleene theorem for recognizable languages over concurrency monoids
- Trade-offs in true concurrency: Pomsets and mazurkiewicz traces
- A denotational theory of synchronous reactive systems
- Event structures and trace monoids
- Star-free trace languages
- scientific article; zbMATH DE number 3938548 (Why is no real title available?)
- Word problems over traces which are solvable in linear time
- scientific article; zbMATH DE number 3959809 (Why is no real title available?)
- Synchronization expressions with extended join operation
- The ideal property and traces
- scientific article; zbMATH DE number 4121456 (Why is no real title available?)
- scientific article; zbMATH DE number 4072393 (Why is no real title available?)
This page was built for publication: Theory of traces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1107296)
