An algebraic characterization of the behaviour of non-sequential systems

DOI10.1016/0020-0190(77)90021-7zbMath0374.94038OpenAlexW1997865220MaRDI QIDQ1245103

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)

Related Items

Languages of higher-dimensional automata, Posets with interfaces as a model for concurrency, Generating Posets Beyond N, Behaviours of concurrent systems, A specification of parallel problems, Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item