@InProceedings{nishimura:LIPIcs.OPODIS.2017.22, author = {Nishimura, Susumu}, title = {{Schlegel Diagram and Optimizable Immediate Snapshot Protocol}}, booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)}, pages = {22:1--22:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-061-3}, ISSN = {1868-8969}, year = {2018}, volume = {95}, editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017.22}, URN = {urn:nbn:de:0030-drops-86464}, doi = {10.4230/LIPIcs.OPODIS.2017.22}, annote = {Keywords: Immediate snapshot protocol, Schlegel diagram, chromatic subdivision, program specialization} }