An introduction to Estelle: A specification language for distributed systems

Stanislaw Budkowski; Piotr Dembiński

doi:10.1016/0169-7552(87)90084-5

An introduction to Estelle: A specification language for distributed systems

Stanislaw Budkowski Piotr Dembiński

Journal: Computer Networks and ISDN Systems • 1987-01-01 • Elsevier BV • ISSN: 0169-7552

Abstract

Abstract text is not embedded in this discovery record. Please consult the full-text publication via the source link on the right.

Subjects & Keywords

# Formal Methods in Verification # Computer Science # Logic, programming, and type systems # Model-Driven Software Engineering Techniques

How to Cite this Article

                    Stanislaw Budkowski, Piotr Dembiński (1987). "An introduction to Estelle: A specification language for distributed systems". Computer Networks and ISDN Systems. https://doi.org/10.1016/0169-7552(87)90084-5                

Access Full Article

Read Original Article ↗

MainReads is an independent discovery directory. Clicking above directs you to the official publisher repository.

Licence & Open Access

Public Access

Publicly accessible via the publisher or archive. Commercial redistribution or automated full-text duplication without author permission may be restricted.

Identifiers & Provenance

DOI: https://doi.org/10.1016/0169-7552(87)90084-5 ↗
OpenAlex: W2054409309 ↗
Primary Index: OPENALEX