Synthesizing distributed transition systems from global specifications

Castellani, Ilaria ; Mukund, Madhavan ; Thiagarajan, P. S. (2000) Synthesizing distributed transition systems from global specifications In: 19th International Conference on Foundations of Software Technology and Theoretical Computer Science, 13-15 Dec 1999, Chennai, India.

Full text not available from this repository.

Official URL: https://link.springer.com/chapter/10.1007%2F3-540-...

Related URL: http://dx.doi.org/10.1007/3-540-46691-6_17

Abstract

We study the problem of synthesizing distributed implementations from global specifications. In particular, we characterize when a global transition system can be implemented as a synchronized product of local transition systems. Our work extends a number of previous studies in this area which have tended to make strong assumptions about the specification—either in terms of determinacy or in terms of information concerning concurrency. We also examine the more difficult problem where the correctness of the implementation in relation to the specification is stated in terms of bisimulation rather than isomorphism. As an important first step, we show how the synthesis problem can be solved in this setting when the implementation is required to be deterministic.

Item Type:Conference or Workshop Item (Paper)
Source:Copyright of this article belongs to Springer-Verlag.
Keywords:Equivalence Relation; Transition System; Deterministic System; Synthesis Problem; Label Transition System
ID Code:114222
Deposited On:25 May 2018 04:53
Last Modified:25 May 2018 04:53

Repository Staff Only: item control page