Selected sections of this report were published in the Proceedings of the First IEEE Workshop on Factory Communication Systems, Leysin, Switzerland, October 1995.
The paper describes a group communication protocol that provides a total temporal order in such an environment. It adapts to the uncertainty of the environment by means of a failure detection service, in order to be able to achieve its safety properties in a timely fashion.
The protocol also tries to provide early-delivery while preserving its ordering property.
Also available as INESC AR/07-95 (gzip postscript).