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

Informatik 4 - Lehrstuhl für Software und Systems Engineering (2008 — 2022)

Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

2 Zitate (Scopus)

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.

Originalsprache	Englisch
Seiten (von - bis)	686-696
Seitenumfang	11
Fachzeitschrift	Information and Software Technology
Jahrgang	32
Ausgabenummer	10
DOIs	https://doi.org/10.1016/0950-5849(90)90101-V
Publikationsstatus	Veröffentlicht - Dez. 1990

Zugriff auf Dokument

10.1016/0950-5849(90)90101-V

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

Dieses zitieren

@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

Zugriff auf Dokument

Andere Dateien und Links

Fingerprint

Dieses zitieren