Hierarchical locking

This article is a stub. It needs to be expanded.

Form closure in such a way that assembly and disassembly can only happen in a particular order. Like LIFO "last in first out".

It can be a simple chain but also branch out like a tree or merge even back together like a DAG "directed acyclic graph".