scientific article; zbMATH DE number 1512617

MaRDI QIDQ4508302zbMATH OpenFDO

Authors Jean-François Husson, Rémi Morin

Publication date 3 October 2000

zbMATH Keywords

Mazurkiewicz tracesScott domain theory

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 17820
• Trace nets and process automata
• Subclasses of recognizable trace languages
• scientific article; zbMATH DE number 4112050
• scientific article; zbMATH DE number 1015097

Cited in

(9)

• Stable trace automata vs. full trace automata
• Rational and recognizable complex trace languages
• scientific article; zbMATH DE number 3870628 (Why is no real title available?)
• MSO Logic for Unambiguous Shared-Memory Systems
• Subclasses of recognizable trace languages
• On the structure of recognizable languages of dependence graphs
• Mathematical Foundations of Computer Science 2005
• The categorical contours of the Chomsky-Schützenberger representation theorem
• On bounded rational trace languages

This page was built for publication:

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