I have a simple 5 page proof to show that finite programs will either complete or run forever. Though this has been done before I believe that this approach highlights some immediate and practical implications for moden OS and applications.
My problem is that though I have a comp. sci. honours degree it has been some time since I graduated so I have lost contact with the academic world.
I need some feedback on the proof from those who have published. I tried the usenet group comp.theory but since I only have access via Google groups it takes a week for my posts to show up.
What would be the best way for me to get serious feedback on the proof before trying to publish?