scientific article; zbMATH DE number 1759627

zbMATH Open0999.68530MaRDI QIDQ4536618FDOQ4536618

Authors: Rémi Morin, Dietrich Kuske 

Publication date: 28 November 2002

Title of this publication is not available (Why is that?)

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

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)

Cited In (7)

• Dynamic Causality in Event Structures
• Pomset Languages of Finite Step Transition Systems
• Regular sets of infinite message sequence charts
• Trade-offs in true concurrency: Pomsets and mazurkiewicz traces
• Title not available (Why is that?)
• Classifying invariant structures of step traces
• 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)