The formal specification and design of a distributed electronic funds-transfer system

DOI10.1109/12.9730zbMATH Open0663.68030OpenAlexW1972620840MaRDI QIDQ3814788

Mark G. Staskauskas

Publication date: 1988

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/12.9730

zbMATH Keywords

distributed systemsstepwise refinementformal specificationUNITYdata abstractionprogram verificationparallel program development

Mathematics Subject Classification ID

Data structures (68P05) Theory of operating systems (68N25)

Related Items (2)

Distributed maximum maintenance on hierarchically divided graphs ⋮ A modular coding of \textsc{Unity} in \textsc{Coq}

This page was built for publication: The formal specification and design of a distributed electronic funds-transfer system