scientific article; zbMATH DE number 3894485

zbMath0561.68047MaRDI QIDQ5186744

Dang Van Hung

Publication date: 1984

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

computation sequencesbehaviour of concurrent systemssynchronization behaviourssynthesized languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)

This page was built for publication: