The Design of Distributed Systems - An Introduction to FOCUS-revised version

Focus is a framework for the systematic formal speci cation and development of distributed interactive systems and their components Focus provides models formalisms and veri cation calculi for the stepwise speci cation and development transformation and veri cation of such systems Focus aims at the modular de velopment and implementation of distributed interactive systems through several abstraction levels by stepwise re nement