Cookies on oxfam

We use cookies to ensure that you have the best experience on our website. If you continue browsing, we’ll assume that you are happy to receive all our cookies. You can change your cookie settings at any time. Find out more Accept

  • Grows vegetables
  • Fills classrooms
  • Drills wells
  • Empowers women
  • Fights poverty
  • Free Uk delivery on all gifts
    Or you can add a donation at checkout
  • Personalise your gift at checkout
    Add a personal message, ecard or card front
  • Add a 'Little Extra' at checkout
    Add-on gifts available (including chocolate!)

A distributed pi-calculus

£17.99

Product description

A distributed pi-calculus by Matthew Hennessy, Published by Cambridge University Press 2007. Hardback with illustrated board covers. Some marks to covers and page edges. General condition is very good.

Distributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behaviour are needed in order to understand them. This book proposes a distributed pi-calculus called Dpi, for describing the behaviour of mobile agents in a distributed world. It is based on an existing formal language, the pi-calculus, to which it adds a network layer and a primitive migration construct. A mathematical theory of the behaviour of these distributed systems is developed, in which the presence of types plays a major role. It is also shown how in principle this theory can be used to develop verification techniques for guaranteeing the behaviour of distributed agents. The text is accessible to computer scientists with a minimal background in discrete mathematics. It contains an elementary account of the pi-calculus, and the associated theory of bisimulations. It also develops the type theory required by Dpi from first principles.

Item details

Author(s):
Hennessy M
Condition:
As new
Dimensions:
15x17x1.75cm
Edition:
2007 edition
Format:
Hardback
ISBN-10:
0521873304
ISBN-13:
9780521873307
Number of pages:
259
Publisher:
Cambridge University Press
Title:
A distributed pi-calculus

Standard UK Delivery (currently free)

Delivery FAQs

Ts & Cs
Delivery FAQs

Free returns

within 21 days.
Returns policy

About this item

A distributed pi-calculus by Matthew Hennessy, Published by Cambridge University Press 2007. Hardback with illustrated board covers. Some marks to covers and page edges. General condition is very good.

Distributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behaviour are needed in order to understand them. This book proposes a distributed pi-calculus called Dpi, for describing the behaviour of mobile agents in a distributed world. It is based on an existing formal language, the pi-calculus, to which it adds a network layer and a primitive migration construct. A mathematical theory of the behaviour of these distributed systems is developed, in which the presence of types plays a major role. It is also shown how in principle this theory can be used to develop verification techniques for guaranteeing the behaviour of distributed agents. The text is accessible to computer scientists with a minimal background in discrete mathematics. It contains an elementary account of the pi-calculus, and the associated theory of bisimulations. It also develops the type theory required by Dpi from first principles.

Author(s):
Hennessy M
Condition:
As new
Dimensions:
15x17x1.75cm
Edition:
2007 edition
Format:
Hardback
ISBN-10:
0521873304
ISBN-13:
9780521873307
Number of pages:
259
Publisher:
Cambridge University Press
Title:
A distributed pi-calculus

Delivery & returns

This item will be dispatched to UK addresses via second class post within 2 working days of receipt of your order. Standard UK delivery is £3.95 per order, so you're only charged once no matter how many items you have in your basket. Any additional courier charges will be applied at checkout as they vary depending on delivery address.

This item will be dispatched to UK addresses via second class post within 2 working days of receipt of your order. Standard UK delivery is currently free, no matter how many items you have in your basket. Any additional courier charges will be applied at checkout as they vary depending on delivery address.

You can find out more about delivery and returns in our help section.

We offer a no quibble returns policy as follows:

Wedding dresses: 14 days

Overseas returns: 31 days

Everything else: 21 days


This item is also available for international delivery by airmail, carrying a mandatory delivery charge of:

Europe: £6.50

Outside Europe: £11.50

Volunteer listed

Wonder how this unique item ended up online?

Most of the second-hand items you see online have been donated, by supporters like you, to our high street stores. Each item is then priced, photographed and listed on this site by our amazing team of volunteers from across the country.

After you have bought your item, our team of volunteers package and dispatch it from the Shop straight to you or your chosen recipient.

All profits from the sales of our goods go towards funding Oxfam's work around the world. We rely on your donations to sell online so please keep the cycle of goodness going!

To find out more about volunteering with Oxfam, please visit our how to volunteer page.

Oxfam Books & Music Fareham

Welcome to Oxfam Fareham. The short walk along West Street towards the rail station is worth the effort to discover our varied and well organised selection of books, music and cards. We have plenty of modern fiction, with separate sections for Crime and Fantasy; a good range of History, Travel and Literature, along with Academic titles, Leisure interests and Vintage books. For the music enthusiast there is Sheet Music, Vinyl and CDs; also DVDs and Computer Games. Please feel free to come and browse. We are open Monday to Saturday; 9.00am to 5.00pm. We are always happy to receive your donations of books or music, and you can choose to Gift Aid them to Oxfam. Ask about the opportunities for voluntary work here, either in the main or in the Online shop.

View Shop