allocator
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
The files in this directory represent the development of a resource allocator in TLA+. The development is described in some detail in a technical note that appears as file "allocator.pdf". Contact: [email protected] Version of August 17, 2004.