Developing implementations of Estelle specifications using the PEDS toolkit

Estelle is used to formally specify communication protocols and distributed systems with the intent of removing ambiguities. The author describes the PEDS toolkit, based on the NBS prototype Estelle compiler, which automatically creates distributed implementations from Estelle specifications. He describes a mapping of Estelle semantics to BSD Unix system primitives and a development environment for use with the prototype compiler.<
>