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 -