The Pi-Calculus: A Theory of Mobile Processes

Davide Sangiorgi; David Walker

doi:10.1017/9781316134924

The Pi-Calculus

A Theory of Mobile Processes

- Get access
  
  Buy a print copy
  
  Check if you have access via personal or institutional login
  
  Log in Register
Cited by 5
Cited by
- 5
Crossref Citations

This Book has been cited by the following publications. This list is generated based on data provided by Crossref.

Xu, Xian Yin, Qiang and Long, Huan 2015. On the Computation Power of Name Parameterization in Higher-order Processes. Electronic Proceedings in Theoretical Computer Science, Vol. 189, Issue. , p. 114.

CrossRef

Google Scholar

Pasqualin, Douglas Pereira Vizzotto, Juliana Kaizer and Piveta, Eduardo Kessler 2015. Typed context awareness Ambient Calculus for pervasive applications. Formal Aspects of Computing, Vol. 27, Issue. 5-6, p. 885.

CrossRef

Google Scholar

Hirschkoff, Daniel Madiot, Jean-Marie and Xu, Xian 2015. Fundamentals of Software Engineering. Vol. 9392, Issue. , p. 143.

CrossRef

Google Scholar

Ghilezan, Silvia Jakšić, Svetlana Pantović, Jovanka Pérez, Jorge A. and Vieira, Hugo Torres 2016. Dynamic role authorization in multiparty conversations. Formal Aspects of Computing, Vol. 28, Issue. 4, p. 643.

CrossRef

Google Scholar

Aceto, Luca García-Pérez, Álvaro and Ingólfsdóttir, Anna 2016. Semantics, Logics, and Calculi. Vol. 9560, Issue. , p. 313.

CrossRef

Google Scholar

Davide Sangiorgi, Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt, David Walker, University of Oxford

Publisher:: Cambridge University Press
Online publication date:: May 2025
Print publication year:: 2001
Online ISBN:: 9781316134924
DOI:: https://doi.org/10.1017/9781316134924

Subjects:: Computer Science, Distributed, Networked and Mobile Computing, Programming Languages and Applied Logic

Temporarily Unavailable

Export citation
Buy a print copy

Information

Contents

Metrics

Mobile systems, whose components communicate and change their structure, now pervade the informational world and the wider world of which it is a part. The science of mobile systems is as yet immature, however. This book presents the pi-calculus, a theory of mobile systems. The pi-calculus provides a conceptual framework for understanding mobility, and mathematical tools for expressing systems and reasoning about their behaviours. The book serves both as a reference for the theory and as an extended demonstration of how to use pi-calculus to describe systems and analyse their properties. It covers the basic theory of pi-calculus, typed pi-calculi, higher-order processes, the relationship between pi-calculus and lambda-calculus, and applications of pi-calculus to object-oriented design and programming. The book is written at the graduate level, assuming no prior acquaintance with the subject, and is intended for computer scientists interested in mobile systems.

- Aa Reduce text
- Aa Enlarge text

View selected items
Save to my bookmarks
Export citations
Download PDF (zip)
Save to Kindle
Save to Dropbox
Save to Google Drive
Save content to
To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to .

To save content items to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Please be advised that item(s) you selected are not available.
You are about to save
Your Kindle email address

Please provide your Kindle email.

@free.kindle.com @kindle.com (service fees apply)

By using this service, you agree that you will only keep content for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services

Metrics

Total number of HTML views: 0

Total number of PDF views: 0 *

Loading metrics...

Total views: 0 *

Loading metrics...

* Views captured on Cambridge Core between #date#. This data will be updated every 24 hours.

Usage data cannot currently be displayed.

The Pi-Calculus

A Theory of Mobile Processes

This Book has been cited by the following publications. This list is generated based on data provided by Crossref.

Book description

Refine List

Actions for selected content:

Contents

Frontmatter
pp i-ii

Dedication
pp iii-iii

Contents
pp iv-viii

Foreword
pp ix-x

Preface
pp xi-xii

General Introduction
pp 1-4

Part I - The π-calculus
pp 5-6

Introduction to Part I
pp 7-10

1 - Processes
pp 11-53

2 - Behavioural Equivalence
pp 54-117

Notes and References for Part I
pp 118-120

Part II - Variations of the π-calculus
pp 121-122

Introduction to Part II
pp 123-126

3 - Polyadicity and Recursion
pp 127-153

4 - Behavioural Equivalence, continued
pp 154-188

5 - Subcalculi
pp 189-226

Notes and References for Part II
pp 227-230

Part III - Typed π-calculi
pp 231-232

Introduction to Part III
pp 233-235

6 - Foundations
pp 236-259

7 - Subtyping
pp 260-280

8 - Advanced Type Systems
pp 281-304

Notes and References for Part III
pp 305-308

Part IV - Reasoning about Processes using Types
pp 309-310

Introduction to Part IV
pp 311-312

9 - Groundwork
pp 313-328

10 - Behavioural Effects of i/o Types
pp 329-350

11 - Techniques for Advanced Type Systems
pp 351-364

Notes and References for Part IV
pp 365-366

Part V - The Higher-Order Paradigm
pp 367-368

Metrics

Full text views

Book summary page views

The Pi-Calculus

A Theory of Mobile Processes

Book description

Refine List

Actions for selected content:

Save Search

Contents

Metrics

Full text views

Book summary page views