Hacker News new | ask | show | jobs
Liskov's Argus programming language for distributed programs (en.wikipedia.org)
2 points by josch 2990 days ago