2011/08/23 by Jens-Wolfhard Schicke, Kirstin Peters, Ursula Goltz
Computer Science · #cs.DC
paper · pdf · doi:10.4204/eptcs.64.9
published as EPTCS 64, 2011, pp. 119-131 · In Proceedings EXPRESS 2011, arXiv:1108.4077
arxiv created 2011/08/23 · arxiv updated 2011/08/24
Given a synchronous system, we study the question whether the behaviour of that system can be exhibited by a (non-trivially) distributed and hence asynchronous implementation. In this paper we show, by counterexample, that synchronous systems cannot in general be implemented in an asynchronous fashion without either introducing an infinite implementation or changing the causal structure of the system behaviour.