Abstract

Formal description techniques, like Estelle, are being used for the specifications of telecommunication protocols. While many telecommunication software manufacturers are still using programming languages that were developed in the late 60s or 70s, Ericson's Computer Science Laboratory in Sweden has developed a new declarative programming language, called Erlang, which supports concurrency, distribution, error handling and code updating. This paper describes how Estelle specifications can be implemented using Erlang.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call