By Matthew Hennessy

ISBN-10: 0521873304

ISBN-13: 9780521873307

disbursed platforms are quick changing into the norm in desktop technology. Formal mathematical versions and theories of disbursed behaviour are wanted so that it will comprehend them. This e-book proposes a allotted pi-calculus known as Dpi, for describing the behaviour of cellular brokers in a disbursed global. it's according to an present 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 constructed, during which the presence of varieties performs an immense function. it's also proven how in precept this concept can be utilized to enhance verification options for making certain the habit of disbursed brokers. The textual content is obtainable to laptop scientists with a minimum heritage in discrete arithmetic. It includes an common account of the pi-calculus, and the linked thought of bisimulations. It additionally develops the kind thought required via Dpi from first principles.

Show description

Read Online or Download A Distributed Pi-Calculus PDF

Similar software development books

Download e-book for kindle: A Beginner's Guide to Scala, Object Orientation and by John Hunt

Scala is a brand new programming language constructed via Martin Odersky and his group on the EPFL. The identify Scala is derived from Sca(lable) La(nguage). Scala is a multi-paradigm language, incorporating item orientated methods with practical programming. even though a few familiarity with commonplace computing thoughts is thought (such because the suggestion of compiling a application and executing this compiled shape, and so forth.

Accelerating Process Improvement Using Agile Techniques - download pdf or read online

Accelerating technique development utilizing Agile options explains how agile programming is utilized to plain method development. through employing agile thoughts, IT enterprises can accelerate method development tasks, reduce the assets those tasks require, and maximize some great benefits of method development.

Middleware in Java: Leitfaden zum Entwurf verteilter by Steffen Heinzl,Markus Mathes PDF

Dieses Buch vermittelt beispielhaft das notwendige information zum Entwurf und zur Entwicklung verteilter Anwendungen. Die Umsetzung erfolgt mittels der relevanten Middleware-Technologien in Java. Zunächst werden die grundlegenden Verfahren wie Datenaustausch über Sockets, Parallelisierung durch Threads und Synchronisation über Monitore und Semaphore behandelt.

New PDF release: Android App Development in Android Studio: Java + Android

This booklet covers Android app layout basics in Android Studio utilizing Java programming language. the writer assumes you don't have any adventure in app improvement. The e-book starts off with the set up of the mandatory improvement atmosphere and developing the emulators. Then, the easiest "Hello international" app is constructed step-by-step.

Extra info for A Distributed Pi-Calculus

Example text

Download PDF sample

A Distributed Pi-Calculus by Matthew Hennessy

by Joseph

Rated 4.19 of 5 – based on 48 votes