Some algebraic and functional hocus pocus with Abracadabra

M. Broy

doi:10.1016/0950-5849(90)90101-V

Some algebraic and functional hocus pocus with Abracadabra

M. Broy

Informatics 4 - Chair of Software and Systems Engineering (2008 — 2022)

Research output: Contribution to journal › Article › peer-review

2 Scopus citations

Abstract

A purely functional description of the Abracadabra protocol and a verification of its correct transmission under appropriate conditions is given. The description is based mainly on algebraic specifications and a special form of stream processing functions also introduced by algebraic specifications. It starts from an informal description and then proceeds to a formal modelling.

Original language	English
Pages (from-to)	686-696
Number of pages	11
Journal	Information and Software Technology
Volume	32
Issue number	10
DOIs	https://doi.org/10.1016/0950-5849(90)90101-V
State	Published - Dec 1990

Keywords

algebraic specifications
distributed systems
functional programming
protocol specification
protocols

Access to Document

10.1016/0950-5849(90)90101-V

Cite this

@article{7bf0161763f146a6acd69183d4d748c1,

title = "Some algebraic and functional hocus pocus with Abracadabra",

abstract = "A purely functional description of the Abracadabra protocol and a verification of its correct transmission under appropriate conditions is given. The description is based mainly on algebraic specifications and a special form of stream processing functions also introduced by algebraic specifications. It starts from an informal description and then proceeds to a formal modelling.",

keywords = "algebraic specifications, distributed systems, functional programming, protocol specification, protocols",

author = "M. Broy",

note = "Funding Information: This work was supported by Siemens AG ZTI Sof 1. Thanks to R Tobiasch and Klugmann for this support. Thanks also to Thomas Grtinler for carefully reading and debugging drafts of this paper.",

year = "1990",

month = dec,

doi = "10.1016/0950-5849(90)90101-V",

language = "English",

volume = "32",

pages = "686--696",

journal = "Information and Software Technology",

issn = "0950-5849",

publisher = "Elsevier B.V.",

number = "10",

}

TY - JOUR

T1 - Some algebraic and functional hocus pocus with Abracadabra

AU - Broy, M.

N1 - Funding Information: This work was supported by Siemens AG ZTI Sof 1. Thanks to R Tobiasch and Klugmann for this support. Thanks also to Thomas Grtinler for carefully reading and debugging drafts of this paper.

PY - 1990/12

Y1 - 1990/12

N2 - A purely functional description of the Abracadabra protocol and a verification of its correct transmission under appropriate conditions is given. The description is based mainly on algebraic specifications and a special form of stream processing functions also introduced by algebraic specifications. It starts from an informal description and then proceeds to a formal modelling.

AB - A purely functional description of the Abracadabra protocol and a verification of its correct transmission under appropriate conditions is given. The description is based mainly on algebraic specifications and a special form of stream processing functions also introduced by algebraic specifications. It starts from an informal description and then proceeds to a formal modelling.

KW - algebraic specifications

KW - distributed systems

KW - functional programming

KW - protocol specification

KW - protocols

UR - http://www.scopus.com/inward/record.url?scp=35248864988&partnerID=8YFLogxK

U2 - 10.1016/0950-5849(90)90101-V

DO - 10.1016/0950-5849(90)90101-V

M3 - Article

AN - SCOPUS:35248864988

SN - 0950-5849

VL - 32

SP - 686

EP - 696

JO - Information and Software Technology

JF - Information and Software Technology

IS - 10

ER -

Some algebraic and functional hocus pocus with Abracadabra

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this