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. |
---|