A formalism for the functional specification of time sensitive communicating systems and their components is outlined. The specification method is modular w.r.t. sequential composition, parallel composition, and communication feedback. Nondeterminism is included by underspecification. The application of the specification method to timed communicating functions is demonstrated. The relationship between nondeterminism and timed systems is investigated. Forms of reasoning are considered. The alternating bit protocol is used as a running example.
CITATION STYLE
Broy, M. (1990). Functional specification of time sensitive communicating systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 430 LNCS, pp. 153–179). Springer Verlag. https://doi.org/10.1007/3-540-52559-9_64
Mendeley helps you to discover research relevant for your work.