Publication:4027616

zbMath0758.68028MaRDI QIDQ4027616

David Harel, Tirza Hirst

Publication date: 21 February 1993

zbMATH Keywords

nondeterminism; cooperative concurrency; pure parallelism; language of statecharts

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

68Q45: Formal languages and automata

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

Related Items

On the structural simplicity of machines and languages