Specifying the Caltech asynchronous microprocessor
Science of Computer Programming - Special issue on mathematics of program construction
A Discipline of Programming
Refinement Calculus: A Systematic Introduction
Refinement Calculus: A Systematic Introduction
Program Development by Refinement: Case Studies Using the B Method
Program Development by Refinement: Case Studies Using the B Method
JXTA: A Network Programming Environment
IEEE Internet Computing
An Action System Approach to the Steam Boiler Problem
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
An Approach to Object-Orientation in Action Systems
MPC '98 Proceedings of the Mathematics of Program Construction
Distributed Object-Based Control Systems
Distributed Object-Based Control Systems
A Theory of Prioritizing Composition
A Theory of Prioritizing Composition
On designing peer-to-peer systems over wireless networks
International Journal of Ad Hoc and Ubiquitous Computing
Can p2p benefit from MANET? performance evaluation from users’ perspective
MSN'05 Proceedings of the First international conference on Mobile Ad-hoc and Sensor Networks
Hi-index | 0.00 |
Peer-to-peer systems like Napster, Gnutella and Kazaa have recently become popular for sharing information. In this paper, we show how to design peer-to-peer systems within the action systems framework by combining UML diagrams. We present our approach via a case study of stepwise development of a Gnutella-like peer-to-peer system.