@inproceedings{1c4dfc2449114e79b742a8968196ee8b,
title = "Refining Action Systems within B-Tool",
abstract = "Action systems is a formalism designed for the construction of parallel and distributed systems in a stepwise manner within the refinement calculus. In this paper we show how action systems can be derived and refined within a mechanical proof tool, the B-Tool. We describe how action systems are embedded in B-Tool. Due to this embedding we can now develop parallel and distributed systems within the B-Tool. We also show how a typical and nontrivial refinement rule, the superposition refinement rule, is formalized and applied on action systems within B-Tool. A derivation towards a distributed load balancing algorithm is given as a case study.",
author = "Marina Walden and Kaisa Sere",
year = "1996",
language = "English",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
pages = "84--103",
booktitle = "Proceedings of Formal Methods Europe (FME'96)",
}