Synchronization from a Categorical Perspective

Simple item page
dc.creatorWorytkiewicz, Krzysztof
dc.date2004-11-01
dc.date.accessioned2026-07-07T03:21:56Z
dc.date.available2026-07-07T03:21:56Z
dc.descriptionWe 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.
dc.identifierhttps://arxiv.org/abs/cs/0411001
dc.identifierhttp://arxiv.org/abs/cs/0411001
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/32400
dc.subjectProgramming Languages
dc.subjectDiscrete Mathematics
dc.titleSynchronization from a Categorical Perspective
dc.typetext

Files

Collections

arXiv