Experiments have been conducted in order to determine to what extent Abstract Partial Deduction can infer implicit safety properties of the well-known Bakery Protocol.
Description:
I am making my old short-paper from 2002/2003 available again here in "UPSpace" mainly because of historic interests.
