# topic.pi_tutorial.bib

@comment{{This file has been generated by bib2bib 1.99}}

@comment{{Command line: bibtex2html-1.99-with-magiclink/bib2bib -c topic:"pi_tutorial" -ob topic.pi_tutorial.bib sewellbib2.bib}}

@techreport{Sew00pi-tr,
author = {Peter Sewell},
title = {Applied $\pi$ -- A Brief Tutorial},
institution = {Computer Laboratory, University of Cambridge},
year = {2000},
optkey = {},
opttype = {},
number = {UCAM-CL-TR-498},
month = aug,
note = {65pp. },
optannote = {},
url = {http://www.cl.cam.ac.uk/TechReports/UCAM-CL-TR-498.html},
pdf = {http://www.cl.cam.ac.uk/~pes20/apppi.pdf},
ps = {http://www.cl.cam.ac.uk/~pes20/apppi.ps},
abstract = {This note provides a brief introduction to $\pi$-calculi and their application to concurrent and distributed programming. Chapter 1 introduces a simple $\pi$-calculus and discusses the choice of primitives, operational semantics (in terms of reductions and of indexed early labelled transitions), operational equivalences, Pict-style programming and typing. Chapter 2 goes on to discuss the application of these ideas to distributed systems, looking informally at the design of distributed $\pi$-calculi with grouping and interaction primitives. Chapter 3 returns to typing, giving precise definitions for a simple type system and soundness results for the labelled transition semantics. Finally, Chapters 4 and 5 provide a model development of the metatheory, giving first an outline and then detailed proofs of the results stated earlier. The note can be read in the partial order 1.(2+3+4.5).},
topic = {pi_tutorial}
}

@inbook{Sew00pi,
author = {Peter Sewell},
title = {{P}i {C}alculus (Chapter 9)},
booktitle = {{F}ormal {M}ethods for {D}istributed {P}rocessing, {A} {S}urvey of {O}bject {O}riented {A}pproaches},
editor = {{H}oward {B}owman and {J}ohn {D}errick},
publisher = {Cambridge University Press},
year = {2001},
optkey = {},
optvolume = {},
optnumber = {},
optseries = {},
optedition = {},
month = dec,
pages = {177--197},
opttype = {},
note = {ISBN 0521771846},
optannote = {},
optnote = {The links are to the TR498 extended version of the book chapter.},
pdf = {http://www.cl.cam.ac.uk/~pes20/apppi.pdf},
ps = {http://www.cl.cam.ac.uk/~pes20/apppi.ps},
abstract = {This note provides a brief introduction to $\pi$-calculi and their application to concurrent and distributed programming. Chapter 1 introduces a simple $\pi$-calculus and discusses the choice of primitives, operational semantics (in terms of reductions and of indexed early labelled transitions), operational equivalences, Pict-style programming and typing. Chapter 2 goes on to discuss the application of these ideas to distributed systems, looking informally at the design of distributed $\pi$-calculi with grouping and interaction primitives. Chapter 3 returns to typing, giving precise definitions for a simple type system and soundness results for the labelled transition semantics. Finally, Chapters 4 and 5 provide a model development of the metatheory, giving first an outline and then detailed proofs of the results stated earlier. The note can be read in the partial order 1.(2+3+4.5).},
topic = {pi_tutorial}
}

@misc{Sew99pi,
optkey = {},
author = {Peter Sewell},
title = {A Brief Introduction to Applied $\pi$},
opthowpublished = {},
year = {1999},
month = jan,
note = {Lecture notes for the Mathfit Instructional Meeting on Recent Advances in
Semantics and Types for Concurrency: Theory and Practice, July 1998.},
optannote = {},
url = {http://www.cl.cam.ac.uk/~pes20/mathfit.html},
topic = {pi_tutorial}
}