Synchronization from a Categorical Perspective
Programming Languages
2007-05-23 v1 Discrete Mathematics
Abstract
We introduce a notion of synchronization for higher-dimensional automata, based on coskeletons of cubical sets. Categorification transports this notion to the setting of categorical transition systems. We apply the results to study the semantics of an imperative programming language with message-passing.
Cite
@article{arxiv.cs/0411001,
title = {Synchronization from a Categorical Perspective},
author = {Krzysztof Worytkiewicz},
journal= {arXiv preprint arXiv:cs/0411001},
year = {2007}
}