[Rajeev] Write specs and code for Distributed parking
Add more tests and fix infinte loop