Strong Priority and Determinacy in Timed CCS

arXiv:2403.04618v1 Announce Type: cross
Abstract: Building on the classical theory of process algebra with priorities, we identify a new scheduling mechanism, called "sequentially constructive reduction" which is designed to capture the essence of synchronous programming. The distinctive property of this evaluation strategy is to achieve determinism-by-construction for multi-cast concurrent communication. In particular, it permits us to model shared memory multi-threading with reaction to absence as it lies at the core of the programming language Esterel. In the technical setting of …

abstract algebra arxiv building ccs communication construction cs.cl cs.pl evaluation identify process programming property scheduling strategy theory type