Verification Column
History determinism has led to several important insights and has been around for a number of years, however interest in the topic is recently and currently growing. Even if this article indeed becomes "out-of-date as soon as it is published", I am sure that it will remain useful as a gent...
| Published in: | ACM SIGLOG News |
|---|---|
| Main Author: | |
| Format: | Article in Journal/Newspaper |
| Language: | English |
| Published: |
Association for Computing Machinery (ACM)
2023
|
| Subjects: | |
| Online Access: | http://dx.doi.org/10.1145/3584676.3584681 |
| Summary: | History determinism has led to several important insights and has been around for a number of years, however interest in the topic is recently and currently growing. Even if this article indeed becomes "out-of-date as soon as it is published", I am sure that it will remain useful as a gentle introduction. The pointers to open questions are especially valuable. |
|---|