Publication:3774928

zbMath0635.68013MaRDI QIDQ3774928

Hendrik Jan Hoogeboom, Ijsbrand Jan Aalbersberg

Publication date: 1987

zbMATH Keywords

concurrent systems; decidability; equivalence problem; trace languages; independency relation

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68N25: Theory of operating systems

03D60: Computability and recursion theory on ordinals, admissible sets, etc.