Layering distributed algorithms within the B-method

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1393, Issue , 1998, Pages 243-260

  Walden M ^a  

^a ÅBO AKADEMI UNIVERSITY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

MODULAR CONSTRUCTION;

B METHOD; PARALLEL AND DISTRIBUTED SYSTEMS; PROGRAM MODULARIZATION; PROOF OBLIGATIONS; SUPERPOSITION METHOD; TOOL SUPPORT;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 84949234630     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0053365     Document Type: Conference Paper

References (18)

1. J.-R. Abrial. The B-Book. Cambridge University Press, Cambridge, Great Britain, 1996.
2. J.-R. Abrial. Extending B without changing it (for developing distributed systems). In Proc. of the First Conference on the B-Method, pp. 169-190, IRIN, Nantes, France, November 1996.
3. R. J. R. Back and M. Butler. Exploring summation and product operators in the refinement calculus. In B. Möller, editor, Proc. of the Third International Conference on Mathematics of Program Construction, LNCS 947, pp. 128-158, Kloster Irsee, Germany, July 1995. Springer-Verlag.
4. R. J. R. Back and R. Kurki-Suonio. Decentralization of process nets with centralized control. In Proc. of the 2nd ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, pages 131-142, 1983.
5. R. J. R. Back and K. Sere. Superposition refinement of reactive systems. Formal Aspects of Computing, 8(3):324-346, 1996.
6. R. J. R. Back and K. Sere. From action systems to modular systems. In Proc. of FME’94: Industrial Benefit of Formal Methods, LNCS 873, pp. 1-25, 1994. Springer-Verlag.
7. M. J. Butler. An approach to the design of distributed systems with B AMN. In Proc. of the 10th International Conference of Z Users (ZUM’97), University of Reading, UK, April 1997. Also, University of Southampton, Declarative Systems & Software Engineering Technical Reports, DSSE-TR-96-6, September 1996.
8. M. J. Butler and M. Waldén. Distributed system development in B. In Proc. of the First Conference on the B-Method, pages 155-168, IRIN, Nantes, France, November 1996.
9. E. W. Dijkstra. A Discipline of Programming. Prentice-Hall International, 1976.
10. T. Elrad and N. Francez. Decomposition of distributed programs into communication-closed layers. Science of Computer Programming, 2:155-173, North-Holland, 1982.
11. N. Francez and I. R. Forman. Superimposition for interacting processes. In Proc. of CONCUR '90 Theories of Concurrency: Unification and extension, LNCS 458, pages 230-245, Amsterdam, the Netherlands, August 1990. Springer-Verlag.
12. W. Janssen. Layered Design of Parallel Systems. Ph.D. thesis, Department of computer science, University of Twente, The Netherlands, 1994.
13. S. M. Katz. A superimposition control construct for distributed systems. ACM Transactions on Programming Languages and Systems, 15(2):337-356, April 1993.
14. K. Sere and M. Waldén. Data refinement of remote procedures. In Proc. of the International Symposium on Theoretical Aspects of Computer Software (TACS97), LNCS 1281, pages 267-294, Sendai, Japan, September 1997. Springer-Verlag.
15. M. Waldén. Layering distributed algorithms. TUCS Technical Reports, No 121, Turku Centre for Computer Science, Finland, August 1997. http://www.tucs.abo.fi/publications/techreports/TR121.html
16. M. Waldén. Derivation of a distributed load balancing algorithm. In E. Sekerinski and K. Sere, editors, Refinement Case Studies with B. Manuscript 1998. Forthcoming book.
17. M. Waldén and K. Sere. Refining action systems within B-Tool. In Proceedings of Formal Methods Europe (FME’96): Symposium on Industrial Benefit and Advances in Formal Methods, LNCS 1051, pages 84-103, Oxford, England, March 1996. Springer-Verlag.
18. M. Waldén and K. Sere. Reasoning about action systems using the B-Method. In Formal Methods in System Design. Kluwer Academic Publishers. To appear.