An architecture based approach to specifying distributed systems in LOTOS and Z /
Sinnott, Richard O.
University of Stirling.Department of Computing Science and Mathematics.
Stirling : Dept. of Computing Science and Mathematics, University of Stirling,
1997.
Includes bibliographical references.
LOTOS (Computer program language)
Z (Computer program language)
Computer architecture.