%0 electronic Article
%A Mohalik, Swarup
%E Ramanujam, R.
%D 2002
%G English
%@ 0973-7677
%T Distributed automata in an assumption-commitment framework
%J Sādhanā : Published by the Indian Academy of Sciences
%V 27
%N 2
%P 209-250
%U http://dx.doi.org/10.1007/BF02717184
%K OriginalPaper
%K Assumption-commitment
%K automata theory
%K concurrency theory
%K verification
%K decomposition
%X We propose a class of finite state systems of synchronizing distributed processes, where processes make assumptions at local states about the state of other processes in the system. This constrains the global states of the system to those where assumptions made by a process about another are compatible with the commitments offered by the other at that state. We model examples like reliable bit transmission and sequence transmission protocols in this framework and discuss how assumption-commitment structure facilitates compositional design of such protocols. We prove a decomposition theorem which states that every protocol specified globally as a finite state system can be decomposed into such an assumption compatible system. We also present a syntactic characterization of this class using top level parallel composition.