The star problem and the finite power property in trace monoids: reductions beyond C4
Information and Computation
Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Two Techniques in the Area of the Star Problem
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
A Connection between the Star Problem and the Finite Power Property in Trace Monoids
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
The Star Problem in Trace Monoids: Reductions Beyond C4
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
On Message Sequence Graphs and Finitely Generated Regular MSC Languages
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Recognizable Sets of Message Sequence Charts
STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science
On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Two techniques in the area of the star problem in trace monoids
Theoretical Computer Science
A theory of regular MSC languages
Information and Computation
Weighted asynchronous cellular automata
Theoretical Computer Science
When Does Partial Commutative Closure Preserve Regularity?
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Realizability of Concurrent Recursive Programs
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
A theory of regular MSC languages
Information and Computation
Some undecidability results related to the star problem in trace monoids
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
Decidability results for choreography realization
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Regular languages and partial commutations
Information and Computation
Hi-index | 0.00 |