@book{6a227094abb346cba3aa25420a61eb53,
title = "Distributed System Development in B",
abstract = "The B-Method is a method for the stepwise derivation of sequential programs. In this paper we show how the B-Method can be used for designing distributed systems by embedding action systems within this method. The action system formalism is designed for the construction of parallel and distributed systems in a stepwise manner within the refinement calculus. We describe how action systems are written in B AMN. We also show the correspondence between refinement rules for action systems and the proof obligations generated in the B-Method. Furthermore, we propose an exten- sion of the B-Method to cover parallel and distributed systems. Familiarity with B AMN is assumed.",
keywords = "the B Method, Action Systems, Refinement, Distributed Systems",
author = "Michael Butler and Marina Walden",
year = "1996",
language = "English",
isbn = "951-650-857-X",
series = "TUCS Technical Reports",
publisher = "Turku Center for Computer Science (TUCS)",
}