scientific article; zbMATH DE number 1759627

MaRDI QIDQ4536618zbMATH OpenFDO

Authors Rémi Morin, Dietrich Kuske

Publication date 28 November 2002

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1916672
• scientific article; zbMATH DE number 1231681
• Subclasses of recognizable trace languages
• A partial trace semantics for Petri nets
• Pomset Languages of Finite Step Transition Systems

Cited in

(6)

• Step traces
• Pomset Languages of Finite Step Transition Systems
• Regular sets of infinite message sequence charts
• scientific article; zbMATH DE number 1916672 (Why is no real title available?)
• Trade-offs in true concurrency: Pomsets and mazurkiewicz traces
• Classifying invariant structures of step traces

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 Q4536618)