Julian C. Bradfield, Sibylle B. Fröschle. Independence-Friendly Modal Logic and True Concurrency. Nord. J. Comput., 9(1):102-117, 2002.
@article{BradfieldF02, title = {Independence-Friendly Modal Logic and True Concurrency}, author = {Julian C. Bradfield and Sibylle B. Fröschle}, year = {2002}, tags = {modal logic, C++, logic}, researchr = {https://researchr.org/publication/BradfieldF02}, cites = {0}, citedby = {0}, journal = {Nord. J. Comput.}, volume = {9}, number = {1}, pages = {102-117}, }