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},
  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}
}