a high-concurrency approach; elegant for the most part except for the deadlock handling
TODOs:
- deadlock detection
- and post-handling
- right car goes first
- crossroad traffic simulation under reasonable assumptions
- live demo
non-goals:
- dead-lock prediction