An algebraic characterization of the behaviour of non-sequential systems

DOI10.1016/0020-0190(77)90021-7MaRDI QIDQ1245103zbMATH OpenOpenAlexFDO

Authors Józef Winkowski

Publication date 1977

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0190(77)90021-7

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cited in

(8)

• Behaviours of concurrent systems
• A specification of parallel problems
• Posets with interfaces as a model for concurrency
• Languages of higher-dimensional automata
• Generating Posets Beyond N
• Equivalence checking for weak bi-Kleene algebra
• Bisimulations and logics for higher-dimensional automata
• Kleene theorem for higher-dimensional automata

This page was built for publication: An algebraic characterization of the behaviour of non-sequential systems

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