scientific article

zbMath0605.68048MaRDI QIDQ3742725

Peter H. Starke

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

trace languagessemi-languageslanguage of irreflexive partial orderings

Mathematics Subject Classification ID

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

Related Items

Theory of traces ⋮ Trade-offs in true concurrency: Pomsets and mazurkiewicz traces ⋮ Some behavioural aspects of net theory ⋮ Event structures and trace monoids ⋮ The poset of infinitary traces ⋮ A uniform approach to true-concurrency and interleaving semantics for Petri nets