By Dr Craig Wright, as edited and published by his editors on craigwright.net.
In this situation, Bob decides to lease a laptop from Eve on a rolling annual basis, where he needs to provide two months’ notice to cancel the lease at the renewal date otherwise it will automatically roll-on.
This has a simple state machine model as shown in the diagram below:
[Image: description to follow]
First published on craigwright.net on 6 October 2018. This copy was recovered from the Internet Archive snapshot of 4 December 2023. Republished on BSVSearch with Dr Wright's permission - about this archive.