@inbook{+2014+264+270,
url = {https://doi.org/10.1515/9781400864041.264},
title = {Index},
booktitle = {Computer-Aided Verification of Coordinating Processes},
booktitle = {The Automata-Theoretic Approach},
publisher = {Princeton University Press},
address = {Princeton},
pages = {264--270},
doi = {doi:10.1515/9781400864041.264},
isbn = {9781400864041},
year = {2014},
lastchecked = {2026-04-30}
}