scientific article; zbMATH DE number 3896328

MaRDI QIDQ3675545zbMATH OpenFDO

Authors Michael Shields

Publication date 1984

zbMATH Keywords

congruence classfinitary posetslabelled partially ordered setsnon-sequential languagestrace

Mathematics Subject Classification ID

Partial orders, general (06A06) Formal languages and automata (68Q45)

Recommendations

• Series-parallel languages on scattered and countable posets
• Nonrepresentable sequential algebras
• scientific article; zbMATH DE number 1136090
• The non-sequential behaviour of Petri nets
• Series-Parallel Languages on Scattered and Countable Posets

Cited in

(8)

• A formal semantics for concurrent systems with a priority relation
• Concurrent and maximally concurrent evolution of nonsequential systems
• Concurrent histories: a basis for observing distributed systems
• Concurrent systems and inevitability
• Transforming sequential systems into concurrent systems
• Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence)
• On priority in COSY
• A partial ordering semantics for CCS

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