Synchronization from a Categorical Perspective
Krzysztof Worytkiewicz
TL;DR
This paper introduces a new categorical framework for understanding synchronization in higher-dimensional automata and applies it to analyze the semantics of message-passing programming languages.
Contribution
It develops a novel notion of synchronization using coskeletons of cubical sets and extends it to categorical transition systems, bridging automata theory and category theory.
Findings
New categorical notion of synchronization for higher-dimensional automata
Application to semantics of message-passing imperative languages
Framework unifies automata synchronization with categorical structures
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
Topicssemigroups and automata theory · Logic, programming, and type systems · Logic, Reasoning, and Knowledge