Synchronization from a Categorical Perspective
classification
💻 cs.PL
cs.DM
keywords
categoricalnotionsynchronizationapplyautomatacategorificationcoskeletonscubical
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.