A Distributed Pi-Calculus by Matthew Hennessy

By Matthew Hennessy

allotted platforms are speedy turning into the norm in desktop technology. Formal mathematical versions and theories of dispensed behaviour are wanted in an effort to comprehend them. This publication proposes a allotted pi-calculus known as Dpi, for describing the behaviour of cellular brokers in a disbursed international. it really is in accordance with an latest formal language, the pi-calculus, to which it provides a community layer and a primitive migration build. A mathematical conception of the behaviour of those dispensed platforms is built, within which the presence of varieties performs an enormous position. it's also proven how in precept this conception can be utilized to increase verification concepts for ensuring the habit of disbursed brokers. The textual content is on the market to machine scientists with a minimum historical past in discrete arithmetic. It comprises an trouble-free account of the pi-calculus, and the linked concept of bisimulations. It additionally develops the sort concept required through Dpi from first principles.

Show description

Read Online or Download A Distributed Pi-Calculus PDF

Similar software development books

User Stories Applied: For Agile Software Development (Addison-Wesley Signature Series (Beck))

This can be the book model of the broadcast e-book. Agile standards: studying what your clients really need. With this e-book, you are going to study to:Flexible, fast and functional standards that workSave time and increase greater software program that meets clients' needsGathering person tales -- even if you cannot seek advice from usersHow consumer tales paintings, and the way they range from use circumstances, situations, and conventional requirementsLeveraging person tales as a part of making plans, scheduling, estimating, and testingIdeal for severe Programming, Scrum, or the other agile methodology----------------------------------------------------------------------------------------------------------Thoroughly reviewed and eagerly expected by means of the agile neighborhood, person tales utilized deals a requisites technique that saves time, gets rid of remodel, and leads on to larger software program.

Global Software Development Handbook (Applied Software Engineering Series)

Economics and know-how have dramatically re-shaped the panorama of software program improvement. it's now not unusual to discover a software program improvement crew dispersed throughout nations or continents. Geographically allotted improvement demanding situations the facility to obviously converse, implement criteria, be sure caliber degrees, and coordinate initiatives.

PHP Application Development with NetBeans: Beginner's Guide (Learn by Doing: Less Theory, More Results)

A Beginner's consultant The e-book is aimed toward Hypertext Preprocessor builders who desire to boost Hypertext Preprocessor functions whereas benefiting from NetBeans performance to ease their software program improvement efforts and make the most of the strong gains of the IDE. Familiarity with NetBeans isn't really assumed. in spite of the fact that, a bit familiarity with Hypertext Preprocessor improvement is anticipated.

How to Reduce the Cost of Software Testing

Lots of software program trying out books let you know how you can try out good; this one tells you the way to do it whereas lowering your trying out price range. a chain of essays written through the various major minds in software program checking out, the best way to decrease the price of software program trying out offers information, strategies, and strategies to aid readers speed up the checking out method, increase the functionality of the try groups, and decrease charges.

Additional resources for A Distributed Pi-Calculus

Example text

Download PDF sample

Rated 4.78 of 5 – based on 43 votes

About the Author