@techreport{nivat:inria-00076558, TITLE = {{On the synchronization of processes}}, AUTHOR = {Nivat, M.}, URL = {https://inria.hal.science/inria-00076558}, TYPE = {Research Report}, NUMBER = {RR-0003}, INSTITUTION = {{INRIA}}, YEAR = {1980}, PDF = {https://inria.hal.science/inria-00076558/file/RR-0003.pdf}, HAL_ID = {inria-00076558}, HAL_VERSION = {v1}, }