=ADD=
=reftype=
14
=number=
98-20
=url=
ftp://ftp.risc.uni-linz.ac.at/pub/techreports/1998/98-20.ps.gz
=year=
1998
=month=
12
=author=
Schreiner; Wolfgang
=title=
On Engineering a Distributed Algorithm
=abstract=
The aim of this paper to demonstrate rigorous reasoning in the context
of concurrency. We present a small case study on the engineering of a
distributed algorithm: its derivation from the problem specification,
formal specifications of its behavior and of the desired correctness
property, and rigorous proofs that the behavior always meets this
property and eventually leads to a desired state. 
=keywords=
distributed algorithms, concurrency, temporal logic, specification, verification
=howpublished=
Software for Communication Technologies, Third International
Austrian-Israeli Technion Symposium with Industrial Forum, April
26-27, 1999, Hagenberg, Austria.