Normal view
MARC view
Mathematics and Computing(Topical Term)
Machine generated authority record
Work cat.: (OSt)1843088: Yong Wang 1231511, Algebraic Theory for True Concurrency