Download e-book for iPad: A Distributed Pi-Calculus by Matthew Hennessy

By Matthew Hennessy

ISBN-10: 0521873304

ISBN-13: 9780521873307

dispensed structures are quickly changing into the norm in desktop technology. Formal mathematical versions and theories of disbursed behaviour are wanted with a view to comprehend them. This e-book proposes a disbursed pi-calculus known as Dpi, for describing the behaviour of cellular brokers in a allotted international. it truly is in keeping with an present formal language, the pi-calculus, to which it provides a community layer and a primitive migration build. A mathematical concept of the behaviour of those dispensed platforms is constructed, during which the presence of sorts performs an enormous function. it's also proven how in precept this idea can be utilized to enhance verification recommendations for ensuring the habit of dispensed brokers. The textual content is available to laptop scientists with a minimum heritage in discrete arithmetic. It includes an basic account of the pi-calculus, and the linked idea of bisimulations. It additionally develops the kind concept required by way of Dpi from first principles.

Show description

Read Online or Download A Distributed Pi-Calculus PDF

Best software development books

Get A Practical Theory of Programming (Monographs in Computer PDF

There are numerous theories of programming. the 1st usable idea, known as "Hoare's Logic", continues to be essentially the most well known. In it, a specification is a couple of predicates: a precondition and postcondition (these and all technical phrases should be outlined in due course). one other renowned and heavily similar idea by means of Dijkstra makes use of the weakest precondition predicate transformer, that's a functionality from courses and postconditions to preconditions.

Read e-book online TOAD Handbook (Developer's Library) PDF

TOAD® instruction manual, moment variation , is the definitive, thoroughly up to date advisor to the latest model of TOAD, the world’s most desirable third-party Oracle software. full of step by step recipes, reveal snapshots, and hands-on routines, this publication brings jointly every little thing builders and DBAs have to maximize their productiveness with TOAD in either administrative and improvement projects.

Kim H. Pries,Jon M. Quigley's Testing Complex and Embedded Systems PDF

Many agencies regard system-level checking out because the ultimate piece of the advance attempt, instead of as a device that are supposed to be built-in through the improvement procedure. thus, try groups usually execute severe try plans prior to product release, leading to a lot of the corrective paintings being played in a hurry and on the final minute.

Foundations of Software Testing, 2/e by Aditya P. Mathur PDF

This version of Foundations of software program checking out is aimed toward the undergraduate, the graduate scholars and the practising engineers. It offers sound engineering methods for attempt iteration, ion, minimization, overview, and enhancement. utilizing quite a few examples, it bargains a lucid description of quite a lot of basic to advanced options for a number of testing-related projects.

Extra info for A Distributed Pi-Calculus

Example text

Download PDF sample

A Distributed Pi-Calculus by Matthew Hennessy

by Michael

Rated 4.65 of 5 – based on 21 votes