@article{lmcs:4277, title = {Higher-dimensional automata modeling shared-variable systems}, author = {Thomas Kahl}, url = {https://lmcs.episciences.org/4277}, doi = {10.23638/LMCS-15(3:28)2019}, journal = {Logical Methods in Computer Science}, issn = {1860-5974}, volume = {Volume 15, Issue 3}, eid = 28, year = {2019}, month = {Sep}, keywords = {Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory, 68Q85}, }