A LANGUAGE AND A CALCULUS FOR DISTRIBUTED COMPUTER CONTROL SYSTEMS DESCRIPTION AND ANALYSIS

Abstract In the paper a language and a calculus based on Gentzen's sequenzen method is suggested. The application side of the language is obtained as a further abstraction of the Quirk's model, consequently it takes into account timing restrictions on execution and communication of functional tasks of the distributed control system. The paper concludes with an example of deducing a deadlock condition from the description of distributed control system.