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

@comment{{Command line: /usr/bin/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}, optaddress = {}, 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 = {}, optaddress = {}, 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} }