zbMATH — the first resource for mathematics

Programming for behaviour. (English) Zbl 0989.68090
Hoare, Tony (ed.) et al., Engineering theories of software construction. Proceedings of the NATO ASI, Marktoberdorf, Germany, July 25 - August 6, 2000. Amsterdam: IOS Press. NATO Sci. Ser. III, Comput. Syst. Sci. 180, 135-148 (2001).
Summary: We present an unorthodox paradigm (doubly guarded commands) for specifying behaviours without any notion of sequentiality of atomic actions; instead it is recognised that actions are durative, i.e. their execution consumes certain unspecified amount of time. The coordination is achieved by associating with each action two guards: the pre-guard specifying conditions in which an action is to be initiated, and the post-guard specifying those under which the results of the action are accepted.
For the entire collection see [Zbl 0972.00060].
68Q60 Specification and verification (program logics, model checking, etc.)