Synchronization from a Categorical Perspective
编程语言
2007-05-23 v1 离散数学
摘要
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.
引用
@article{arxiv.cs/0411001,
title = {Synchronization from a Categorical Perspective},
author = {Krzysztof Worytkiewicz},
journal= {arXiv preprint arXiv:cs/0411001},
year = {2007}
}