Composition of synchronous communicating systems

Franco Barbanera, Ivan Lanese, Emilio Tuosto. Composition of synchronous communicating systems. J. Log. Algebr. Meth. Program., 135:100890, October 2023. [doi]

Abstract

Abstract is missing.