
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Bibliography.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


@string{springer = "Springer-Verlag"}
@string{entcs = "ENTCS"}
@string{elsevier= "Elsevier"}
@string{lncs= "LNCS"}

@inproceedings{ecoop06,
  volume = 4067,
  author = {Mariangiola Dezani-Ciancaglini and Dimitris Mostrous and Nobuko
            Yoshida and Sophia Drossopoulou},
  series = {LNCS},
  booktitle = {ECOOP'06},
   title = {{Session Types for Object-Oriented Languages}},
  year = {2006},
  pages = {328--352},
}

@inproceedings{igarashi02resource,
    author = "Atsushi Igarashi and Naoki Kobayashi",
    title = "Resource usage analysis",
    booktitle = "Symposium on Principles of Programming Languages",
    pages = "331-342",
    year = "2002",
    url = "citeseer.ist.psu.edu/igarashi02resource.html" }

@inproceedings{EP-05-TEPH_WFJ,
  author = 	 "Torgersen, Mads and Ernst, Erik and Plesner
                  Hansen, Christian",
  title = 	 "Wild FJ",
  booktitle = 	 "Proceedings of FOOL 12",
  year = 	 2005,
  address = 	 "Long Beach, California, USA",
  month = 	 jan,
  organization = "ACM",
  publisher = 	 "School of Informatics, University of
                  Edinburgh",
  note = 	 "Electronic publication, at the URL given
                  below",
  abstract = 	 "This paper presents a formalization of
                  wildcards, which is one of the new features of
                  the Java programming language in version
                  JDK5.0. Wildcards help alleviating the
                  impedance mismatch between generics, or
                  parametric polymorphism, and traditional
                  object-oriented subtype polymorphism. They do
                  this by quantifying over parameterized types
                  with different type arguments. Wildcards take
                  inspiration from several sources including
                  use-site variance, and they could be considered
                  as a way to introduce a syntactically
                  light-weight kind of existential types into a
                  main-stream language. This formalization
                  describes the mechanism, in particular the
                  wildcard capture process where the existential
                  nature of wildcards becomes evident.",
  url = 	 "http://homepages.inf.ed.ac.uk/wadler/fool/"
}


@TechReport{boundedSessSub,
author = {Malcolm Hole and Simon J. Gay},
title = {{Bounded Polymorphism in Session Types}},
institution = {Department of Computing Science, University of Glasgow},
year = {2003},
number = {TR-2003-132},
OPmonth = {March}
}

@InBook{substructural:dwalker:attapl,
author = {David Walker},
note = {Editor Benjamin C. Pierce},
title = {Advanced Topics in Types and Programming Languages},
chapter = {Substructural Type Systems},
publisher = {MIT Press},
year = {2005}
}

@ARTICLE{LinearPi,
  AUTHOR = {Naoki Kobayashi and Benjamin C. Pierce and David N.
                  Turner},
  TITLE = {Linearity and the {Pi-Calculus}},
  JOURNAL = {ACM TOPLAS},
  VOLUME = {21},
  NUMBER = {5},
  PAGES = {914--947},
  MONTH = SEP,
  YEAR = {1999},
  CODEN = {ATPSDT},
  FULLISSN = {0164-0925},
  BIBDATE = {Tue Sep 26 10:12:58 MDT 2000},
  SOURCE = {TOPLAS db},
  KEYS = {pi},
  FULL = {http://www.acm.org/pubs/articles/journals/toplas/1999-21-5/p914-kobayashi/p914-kobayashi.pdf;
                  http://www.acm.org/pubs/citations/journals/toplas/1999-21-5/p914-kobayashi/},
  PLCLUB = {Yes},
  BCP = {Yes}
}

@InProceedings{goje2001a,
  author = 	 {Gordon, Andrew D. and Jeffrey, Alan},
  title = 	 {{Typing Correspondence Assertions for Communication Protocols}},
  booktitle =    {MFPS'01},
  publisher =    elsevier,
  series = 	 entcs,
  OPmonth =        may,
  editor={Stephen Brooks and Michael Mislove},
  year = 	 {2001},
  volume =	 {45},
  pages =	 {379--409},
  fullnote =	 {\url{http://www.elsevier.nl/locate/entcs/volume45.html}},
}

@INPROCEEDINGS{PierceSangiorgi95,
  AUTHOR = {Benjamin C. Pierce and Davide Sangiorgi},
  TITLE = {Typing and Subtyping for Mobile Processes},
  BOOKTITLE = {Logic in Computer Science},
  YEAR = {1993},
  NOTE = {Full version in \bgroup\em Mathematical Structures in
                  Computer Science \egroup, Vol.\ 6, No.\ 5, 1996},
  OPFULL = {\url{http://www.cis.upenn.edu/~bcpierce/papers/pi.ps}},
}


@TechReport{gay.vasconcelos.ravara:session-types-communication,
  author       = {Simon Gay and Vasco T. Vasconcelos and Ant\'onio Ravara},
  title        = {{Session Types for Inter-Process Communication}},
  institution  = {Department of Computing, University of Glasgow},
  OPmonth        = {March},
  year         = 2003,
  type         = {TR},
  number       = {2003--133},
  OPurl          = {http://www.di.fc.ul.pt/~vv/papers/stipc.pdf}
}


@inproceedings{Fahndrich02,
 author = {Manuel F\"ahndrich and Robert DeLine},
 title = {Adoption and focus: practical linear types for imperative programming},
 booktitle = {PLDI '02},
 year = {2002},
 isbn = {1-58113-463-0},
 pages = {13--24},
 location = {Berlin, Germany},
 doi = {http://doi.acm.org/10.1145/512529.512532},
 publisher = {ACM Press},
 }

@inproceedings{DYAD05,
 author = {Mariangiola Dezani-Ciancaglini and Nobuko Yoshida and Alex Ahern and
           Sophia Drossopoulou},
 title = {A {D}istributed {O}bject {O}riented {L}anguage with
 {S}ession {T}ypes},
 booktitle = {TGC'05},
 year = {2005},
 series =    {LNCS},
pages = {299--318},
      volume = {3705},
      publisher=springer,
 }

@InProceedings{BCG04,
 author ={Eduardo Bonelli and Adriana Compagnoni and Elsa Gunter},
 title = {{Typechecking Safe Process Synchronization}},
 booktitle = {FGUC 2004},
 series =    {ENTCS},
 year = 2005,
 volume=138,
 issue=1,
 pages={3--22},
 publisher=elsevier,
 editor = {Julian Rathke},
}

@InProceedings{THK,
title = {{An Interaction-based Language and its Typing System}},
author ={Kaku Takeuchi and Kohei Honda and Makoto Kubo},
booktitle = {PARLE'94},
series =       lncs,
      volume =       817,
 pages={398-413},
year=1994,
}
@InProceedings{CLARKE,
  author = {Clarke,~E},
  title = {Programming language constructs for which it is impossible to obtain good {H}oare axiom systems.},
  booktitle = {POPL'79},
  year = 1979,
  pages = {129--147}
}

@Article{BAG05,
  author ={Eduardo Bonelli and Adriana Compagnoni and Elsa Gunter},
  title = {{Correspondence Assertions for Process Synchronization in Concurrent Communications}},
  journal ={JFP},
  volume = {15},
  number = {2},
  OPmonth = {March},
  pages = {219--248},
  year = 2005,
}

@InProceedings{vallecillo.etal:typing-behavior-objects,
  author =   {Antonio Vallecillo and Vasco T.~Vasconcelos and
        Ant\'onio Ravara},
  title =    {{Typing the Behavior of Objects and Components using
        Session Types}},
  booktitle    = {FOCLASA'02},
  series       = entcs,
  volume =   {68(3)},
  OPmonth =      aug,
  year =     2002,
  publisher    = elsevier,
pages={439--456},
}

@InProceedings{shao97:_overv_flint_ml_compil,
  author ={Zhong Shao},
  title =    {An Overview of the {FLINT/ML} Compiler},
  booktitle =    {Proc. 1997 {ACM} {SIGPLAN} Workshop on Types in
                  Compilation ({TIC}'97)},
  year =     1997,
  address =  {Amsterdam, The Netherlands},
  month =    {June}}

@Article{NAUR,
  author = {P. Naur},
  title = {Proof of algorithms by general snapshots},
  journal ={BIT},
  volume = {6},
  pages = {310-316},
  year = 1966
}

@Article{MPWlogics,
  author = {Robin Milner and Joachim Parrow and David Walker},
  title = {Modal logics for mobile processes},
  journal = {TCS},
  year =     1993,
  volume =   114,
  pages =    {149--171}
}

@Article{APT,
  author = {K R.~Apt},
  title = {Ten {Y}ears of {H}oare {L}ogic: a survey},
  journal = {TOPLAS},
  volume = 3,
  pages = {431-483},
  year = 1981
}

@InProceedings{CYCLONE2,
  author = {
Trevor Jim and Greg Morrisett and Dan Grossman and Michael Hicks and James Cheney and Yanling Wang},
  title = {Cyclone: A Safe Dialect of C},
  booktitle = {Usenix Annual Technical Conference, Monterey, CA},
  year = 2002
}

@InProceedings{CYCLONE,
  author =
{Dan Grossman and Greg Morrisett and Trevor Jim and Michael Hicks and Yanling Wang and James Cheney},
  title = {Region-Based Memory Management in Cyclone},
  booktitle = {PLDI'02},
  publisher = {ACM},
  year = 2002
}


@Article{TAL,
 author = {Greg Morrisett and David Walker and Karl Crary and Neal Glew},
 title = {From {S}ystem {F} to typed assembly language},
 journal = {ACM Trans. Program. Lang. Syst.},
 volume = {21},
 number = {3},
 year = {1999},
 pages = {527--568},
 publisher = {ACM Press},
 }

@InProceedings{MILNERpoly,
  author =   {Robin Milner},
  title =    {Theory of Type Polymorphism in Programming Languages},
  booktitle =    {TCS},
  year =     1982
}

@InProceedings{COUSOT,
  author = {Patrick Cousot},
  title = {Methods and logics for proving programs},
  booktitle = {Handbook of Theoretical Computer Science, volume B},
  pages = {843-993},
  publisher = {Elsevier},
  year = 1999
}

@Article{LANDIN,
  author =   {Peter Landin},
  title =    {A Correspondence Between ALGOL 60 and Church's Lambda-Notation},
  journal =      {Comm. ACM},
  volume = {8:2},
  year =     1965
}

@InProceedings{BiemanParkinson05,
  author =   {Gavin M.~Bierman and Matthew J.~Parkinson},
  title =    {Separation Logic and Abstractions},
  booktitle =    {POPL'05},
  year =     2005
}

@InProceedings{ALEX,
  author =   {Alex Simpson and Gordon Plotkin},
  title =    {Complete {A}xioms for {C}ategorical
                 {F}ixed-{P}point {O}perators},
  booktitle =    {Proc.~15$^{\text{th}}$ LiCS},
  year =     2000
}

@TechReport{KLEYMANN,
  author =   {Thomas Kleymann},
  title =    {Hoare Logic and Auxiliary Variables},
  institution =  {University of Edinburgh, LFCS ECS-LFCS-98-399},
  year =         1998,
  month =        {October}
}

@misc{dj04org,
author= {Alexander Ahern and Nobuko Yoshida},
title = {{F}ormal {A}nalysis of a {D}istributed {O}bject-{O}riented {L}anguage and {R}untime},
year =         2004,
month =        {December},
howpublished = {http://www.doc.ic.ac.uk/\~{}aja/dcbl.html}
}

@misc{dj-sourceforge,
  title={{DJ} {S}ource{F}orge {H}omepage},
  howpublished={\url{http://dj-project.sourceforge.net/}}
}

@InProceedings{dj04,
   author= {Alexander Ahern and Nobuko Yoshida},
   title = {{F}ormalising {J}ava {RMI} with {E}xplicit {C}ode {M}obility},
   booktitle =    {OOPSLA~'05},
   pages =  {403--422},
   publisher =    {ACM Press},
   year =         2005,
   editor ={Ralph Johnson and Richard P. Gabriel},
   note ={A full version: {\em Journal of Theoretical Computer Science}}}


@InProceedings{SS,
  author =   {Scott Smith},
  title =    {From {O}perational to {D}enotational {S}emantics},
  booktitle =    {Proc.~Conference on Mathematical Foundations of Programming Language Semantics},
  year =     1992,
  volume =   598,
  series =   {LNCS}
}


@Book{Dijkstra,
  author =   {Edsger W.~Dijkstra},
  title =    {A Discipline of Programming},
  publisher =    {Prentice-Hall},
  year =     1976
}

@Book{AbadiCardelli96,
  author =   {Mart? Abadi and Luca Cardelli},
  title =    {A Theory of Objects},
  publisher =    {Springer-Verlag},
  year =     1996
}

@Book{DL,
  author =   {David Harel and Dexter Kozen and Jerzy Tiuryn},
  title =    {Dynamic Logigc},
  publisher =    {The MIT Press},
  year =     {2000}
}

@TechReport{KLEYMANN,
  author =   {Thomas Kleymann},
  title =    {Hoare Logic and Auxiliary Variables},
  institution =  {University of Edinburgh, LFCS ECS-LFCS-98-399},
  year =         1998,
  month =        {October}
}

%\bibitem{HAREL}
%Harel, D. Proving the correctness of regular deterministic programs.
%{\em TCS}, 12:61--81, 1980.

@article{DAHLandHOARE,
 author = {Ole-Johan Dahl and Tony Hoare},
 title = {Hierarchical Program Structure},
 journal = {Structured Programming},
 pages = {175--220},
 year = {1972}
 }

%\bibitem{JML}
%Leavens, G. and Baker, A.
%Enhancing the Pre- and Postcondition Technique for More
%Expressive Specifications.
%{\em FM'99: World Congress on Formal Methods}, Springer, 1999.

@inproceedings{LeavensBaker99,
 author = {Gary Leavens and Alber L.~Baker},
 title = {Enhancing the Pre- and Postcondition Technique for More Expressive Specifications},
 booktitle = {FM'99: World Congress on Formal Methods},
 year = 1999,
 publisher = {Springer}
 }

@inproceedings{HowardBT:indcapt,
author = {Brian T.~Howard},
title = {Inductive, coinductive, and pointed types},
booktitle = {Proc.~$1^{\text{st}}$ int.~conf. on Functional programming},
year = 1996,
publisher = {ACM Press}
}

@inproceedings{JefferyRathke,
author = {Alan Jeffrey and Julian Rathke},
year = {1999},
title = {Towards a theory of bisimulation for local names},
booktitle = {Proc.~LICS'99},
publisher = {IEEE Computer Society Press},
pages = {56--66}
}

@article{HAREL,
author ={David Harel},
title = {Proving the correctness of regular deterministic programs},
journal = {TCS},
volume = {12},
number = {16},
year = {1980}
}


@article{DenningDE:ceropfsif,
 author = {Dorothy E.~Denning and Peter J.~Denning},
 title = {Certification of programs for secure information flow},
 journal = {Commun.~ACM},
 volume = {20},
 number = {7},
 year = {1977}
 }

@inproceedings{MyersA:adecmfifc,
 author = {Andrew C.~Myers and Barbara Liskov},
 title = {A decentralized model for information flow control},
 booktitle = {Proc.~16$^{\text{th}}$ SOSP},
 year = {1997},
 publisher = {ACM Press}
 }

@article{JoshiR:asemapptsif,
 author = {Rajeev Joshi and K. Rustan M.~Leino},
 title = {A semantic approach to secure information flow},
 journal = {Sci.~Comput.~Program.},
 volume = {37},
 number = {1-3},
 year = {2000}
 }


@article{LampsonBW:anototcp,
 author = {Butler W.~Lampson},
 title = {A note on the confinement problem},
 journal = {Comm.~ACM},
 volume = {16},
 number = {10},
 year = {1973}
 }

 @Book{HoareT:unitop,
  author =       {Tony Hoare and He Jifeng},
  title =        {Unifying Theories of Programming},
  publisher =    {Prentice-Hall International},
  year =         1998
}

 @InProceedings{AbadiBlanchet,
   author =       {Mart{\'\i}n Abadi and Bruno Blanchet},
   title =        {Secrecy {T}ypes for {A}symmetric {C}ommunication},
   booktitle =    {Proc.~FoSSaCs'01},
   year =         2001
 }

@inproceedings{MyersA:jflpmsifc,
 author = {Andrew C.~Myers},
 title = {JFlow: practical mostly-static information flow control},
 booktitle = {Proc.~26th POPL},
 year = {1999}
 }

@inproceedings{ZdancewicS:secifac,
 author = {Steve Zdancewic and Andrew C.~Myers},
 title = {Secure Information Flow and CPS},
 booktitle = {Proc.~10th ESOP},
 year = {2001},
 publisher = {Springer-Verlag},
 }

@inproceedings{ZhengL:usiraptbsds,
 author = {Lantian Zheng and Stephen Chong and Andrew C.~Myers and Steve Zdancewic},
 title = {Using Replication and Partitioning to Build Secure Distributed Systems},
 booktitle = {Proc.~IEEE Symposium on Security and Privacy},
 year = {2003}
 }

@inproceedings{IgarashiA:resua,
  author =   {Atsushi Igarashi and Naoki Kobayashi},
  title =    {Resource usage analysis},
  booktitle =    {Proc.~29th POPL},
  year =     {2002}
}


@InProceedings{DarvasA:athepataosif,
  author =   {{\'A}d{\'a}m Darvas and Reiner H\"ahnle and Dave Sands},
  title =    {A Theorem Proving Approach to Analysis of Secure Information Flow},
  booktitle =    {Proc.~Workshop on Issues in the Theory of Security},
  year =     2003
}


@article{GreifI:spetsowp,
 author = {Irene Greif and Albert R. Meyer},
 title = {{S}pecifying the {S}emantics of while {P}rograms: {A} {T}utorial and {C}ritique of a {P}aper by {H}oare and {L}auer},
 journal = {ACM Trans.~Program.~Lang.~Syst.},
 volume = {3},
 number = {4},
 year = {1981}
 }

@inproceedings{MeyerAR:towfasflv,
 author = {Albert R.~Meyer and Kurt Sieber},
 title = {Towards fully abstract semantics for local variables},
 booktitle = {Proc.~POPL'88},
 year = {1988}
 }

@InProceedings{MeyerAR:flohlds,
  author =   {Albert R.~Meyer},
  title =    {{F}loyd-{H}oare logic defines semantics (preface version)},
  booktitle =    {Proc.~LICS'86},
  year =     1986
}


@book{HuthM:logics,
  author =   {Michael Huth and  Mark Ryan},
  title =    {Logic in Computer Science: modelling and reasoning about systems},
  publisher =    {CUP},
  year =     2004
}

@InProceedings{PRATT,
  author =   {Vaughn R.~Pratt},
  title =    {Six Lectures on Dynamic Logic},
  booktitle =    {Foundations of Computer Science III, Part 2},
  pages =    {53-82},
  publisher =    {},
  year =     1980,
  number =   109,
  series =   {Mathematical Centre Tracts}
}

@Book{MENDELSON,
  author =   {Elliot Mendelson},
  title =    {Introduction to Mathematical Logic},
  publisher =    {Wadsworth Inc.},
  year =     1987
}

@inproceedings{BentonN:simrcpfsaapt,
 author = {Nick Benton},
 title = {Simple relational correctness proofs for static analyses and program transformations},
 booktitle = {Proc.~POPL},
 year = {2004}
 }



@Article{KowaltowskT:axiatseagj,
  author =   {Tomasz Kowaltowski},
  title =    {Axiomatic approach to side effects and general jumps},
  journal =  {Acta Informatica},
  year =     1977,
  volume =   7
}

@article{OheimbD:hoalfjiih,
  author =   {David von Oheimb},
  title =    {Hoare Logic for {J}ava in {Isabelle/HOL}},
  journal =  {Concurrency and Computation: Practice and
                  Experience},
  editor =   {Eisenbach, S. and Leavens, G. T.},
  year =     {2001},
  volume =   13,
  number =   13
}




@inproceedings{GiacobazziR:absnipnibaa,
 author = {Roberto Giacobazzi and Isabella Mastroeni},
 title = {Abstract non-interference: parameterizing non-interference by abstract interpretation},
 booktitle = {Proc.~POPL'04},
 year = {2004}
 }










@Article{ABADI,
  author =   {Mart{\'\i}n Abadi},
  title =    {$\top\top$-closed relations and admissibility},
  journal =      {MSCS},
  year =     2000,
  volume =   10,
  number =   3
}

@InProceedings{ABADILEINO,
author =      {Mart{\'\i}n Abadi and Rustan Leino},
title = {A logic for object-oriented programs},
booktitle = {Verification: Theory and Practice},
year = 2004,
publisher =    {Springer-Verlag},
pages ={11-41}
}

@InProceedings{AbadiM:forparpPOPL,
   author =      {Mart{\'\i}n Abadi and Luca Cardelli and Pierre-Louis Curien},
   title =   {Formal parametric polymorphism},
   booktitle =   {Proc.~POPL'93},
   year =    1993
 }




 @Article{ABADICURIEN,
  author =   {Mart{\'\i}n Abadi and Luca Cardelli and Pierre-Louis Curien},
  title =    {Formal parametric polymorphism},
  journal =      {TCS},
  year =     1993,
  volume =   121,
  number =   {1-2}
}

@InProceedings{TalpinJP:typeffd,
  author =   {Jean-Pierre Talpin and Pierre Jouvelot},
  title =    {The type and effect discipline},
  booktitle =    {Proc.~LICS'92},
  pages =    {162-173},
  year =     1992
}

@InProceedings{AbadiM:logobjop,
author =      {Martin Abadi and Rustan Leino},
title = {A logic for object-oriented programs},
booktitle = {Verification: Theory and Practice},
year = 2004,
publisher =    {Springer-Verlag},
pages ={11-41}
}

@Article{AbadiM:forparpTCS,
   author =      {Mart{\'\i}n Abadi and Luca Cardelli and Pierre-Louis Curien},
   title =   {Formal parametric polymorphism},
   journal =     {TCS},
   year =    1993,
   volume =  121,
   number =  {1-2},
   pages =   {9--58}
 }

 @InProceedings{AbadiM:spical,
   author =       {Mart{\'\i}n Abadi and Andy Gordon},
   title =        {{A} {C}alculus for {C}ryptographic {P}rotocols: The {S}pi {C}alculus},
   booktitle =    {Proc.~ACM Conference on Computer and Communications Security},
   year =         1997,
   publisher =    {ACM Press}
 }

 @InProceedings{AbdullaPA:algvolcsaattbrt,
   author =       {Parosh Aziz Abdulla and Aurore Annichini and Ahmed Bouajjani},
   title =        {Algorithmic Verification of Lossy Channel Systems},
   booktitle =    {Proc.~TACAS'99},
   year =         1999
 }

 @Article{AbdullaPA:verpwuc,
   author =       {Parosh Aziz Abdulla and Bengt Jonsson},
   title =        {Verifying Programs with Unreliable Channels},
   journal =      {Info.~\&~Comp.},
   year =         1996,
   volume =       127,
   number =       2,
   pages =        {91--101}
 }


@Misc{intelRuntime,
title =        {What Managed Runtime Environments Nean To You},
author =       {Regina Preciado},
howpublished = {http://www.intel.com/cd/ids/developer/asmo-na/eng/43729.htm}
}

@Misc{SEALfull,
   author =       {Giuseppe Castagna and Jan Vitek and Francesco~Zappa Nardelli},
   title =        {The {S}eal calculus},
   howpublished = {ftp://ftp.di.ens.fr/pub/users/castagna/seal.ps.gz}
}

@Misc{short:AbdullaPA:verpwuc,
   author =       {Parosh Aziz Abdulla and Bengt Jonsson},
   title =        {Verifying Programs with Unreliable Channels},
 }

 @InProceedings{AbdullaPA:verpwucLICS,
   author =       {Parosh Aziz Abdulla and Bengt Jonsson},
   title =        {Verifying Programs with Unreliable Channels},
   booktitle =    {LICS'93},
   year =         1993
 }

 @InProceedings{AbramskyS:axifulcmfmlpt,
   author =       {Samson Abramsky and Marina Lenisa},
   title =        {Axiomatizing Fully Complete Models for {ML} Polymorphic Types},
   booktitle =    {Proc.~of MFCS'2000},
   year =         2000
 }

@Article{intersection,
  author =   {Franco Barbanera and Mariangiola Dezani-Ciancaglini and Ugo de'Liguoro},
  title =    {Intersection and Union Types: syntax and semantics},
  journal =      {Inf.~and Comp.},
  year =     1995,
  volume =   119
}

@article{AbramskyS:comintoll,
     author          = {Samson Abramsky},
     title           = {Computational Interpretations of Linear Logic},
     journal         = {TCS},
     volume          = 111,
     year            = 1993}

 @Article{AbramskyS:fulap,
   author =       {Samson Abramsky and Radha Jagadeesan and Pasquale Malacaria},
   title =        {Full Abstraction for {PCF}},
   journal =      {},
   year =         2000,
   volume =       163,
   pages =        {409--470}
 }

 @InCollection{AbramskyS:fulcompmfmlpt,
   author =       {Samson Abramsky and Marina Lenisa},
   title =        {A Fully-complete {PER} Model for {ML} Polymorphic Types},
   booktitle =    {Proc.~of CSL'2000},
   series =       {LNCS},
   publisher =    {Springer},
   year =         2000
 }

 @InProceedings{AbramskyS:gamsem,
   author =       {Samson Abramsky and Guy McCusker},
   title =        {Game Semantics},
   booktitle =    {Logic and Computation: Proc.~of the 1997 Marktoberdorf Summer School},
   year =         1998
 }


 @article{AbramskyS:newfgifull,
   title =        {New Foundations for the Geometry of Interaction},
   author =       {Samson Abramsky and Radha Jagadeesan},
   journal =      {Inf.~\& Comp.},
   year =         {1994},
   volume =       {111},
   number =       {1},
   pages =        {53--119}
 }

 @InProceedings{AlHoumailyJ:twophacigndd,
   author =       {Yousef J.~Al-Houmaily and Panos K.~Chrysanthis},
   title = {Two-{P}hase {C}ommit in {G}igabit-{N}etworked {D}istributed {D}atabases},
   booktitle =    {Proceedings of the $8^{\text{th}}$ International Conference on Parallel and Distributed Computing Systems},
   pages =        {554--560},
   year =         1995
 }

 @InProceedings{AlHoumailyY:impyesvcpwdoc,
   author =       {Yousef J.~Al-Houmaily and Panos K.~Chrysanthis},
   title =        {The Implicit-Yes Vote Commit Protocol with Delegation of Commitment},
   booktitle =    {Proceedings of 9th International Conference on Parallel and
  Distributed Computing Systems},
   year =         1996
 }

@Book{AlgerJ:cppfreap,
   author =       {Jeff Alger},
   title =        {C++ for Real Programmers},
   publisher =    {Academic Press},
   year =         {1998}
 }

 @inProceedings{AlurR:logamort,
   author =       {Rajeev Alur and Thomas A.~Henzinger},
   title =        {Logics and models of real time: a survey},
   booktitle =    {Real Time: theory in practice},
   year =         1992,
   editor =       {de Bakker at al},
   volume =       600,
   series =       {LNCS},
   publisher =    {sv}
 }

 @InProceedings{AlurR:obspoc,
   author =       {Rajeev Alur and  Costas Courcoubetis and Thomas A.~Henzinger},
   title =        {The Observational Power of Clocks},
   booktitle =    {Proceedings of CONCUR 1994},
   pages =        {162--177},
   year =         1994,
   number =       836,
   series =       {LNCS},
   organization = {Springer}
 }

 @Article{AlurR:theota,
   author =       {Rajeev Alur and David L.~Dill},
   title =        {A Theory of Timed Automata},
   journal =      {Theoretical Computer Science},
   year =         1994,
   volume =       126,
   pages =        {183--235}
 }

 @InProceedings{AmCaSa96,
    author = {Roberto Amadio and Ilaria Castellani and
          Davide Sangiorgi},
    booktitle = {Proc.~{CONCUR}'96},
    title = {On Bisimulations for  the Asynchronous $\pi$-calculus},
    year = {1996}
 }

 @techreport{AmCaSa96-TR,
    author = {Roberto Amadio and Ilaria Castellani and
          Davide Sangiorgi},
    title = {On Bisimulations for  the Asynchronous $\pi$-calculus},
    institution = {{INRIA}-Sophia Antipolis},
    number = {{RR}-2913},
    year = {1996}
 }




 @InProceedings{AmadioRM:asymolpm,
   author =       {Roberto M.~Amadio},
   title =        {An asynchronous model of locality, failure, and process mobility},
   booktitle =    {Proc.~COORDINATION 97},
   volume =  1282,
   series =  {LNCS},
   year =         1997
 }

 @Misc{short:AmadioRM:asymolpm,
   author =       {Roberto M.~Amadio},
   title =        {An asynchronous model of locality, failure, and process mobility}
 }


 @InProceedings{AmadioRM:locaf,
   author =       {Roberto M.~Amadio and Sanjiva Prasad},
   title =        {Localities and Failures},
   booktitle =    {Proc.~FSTTCS'94},
   volume =  880,
   series =  {LNCS},
   year =         1994
 }

 @misc{short:AmadioRM:locaf,
   author =       {Roberto M.~Amadio and Sanjiva Prasad},
   title =        {Localities and Failures}
 }

 @InProceedings{AmadioRM:locandfai,
   author =       {Roberto M.~Amadio and Sanjiva Prasad },
   title =        {Localities and Failures},
   booktitle =    {Proceedings of $14^th$ FST and TCS Conference},
   pages =        {205--216},
   year =         1994,
   editor =       {P.~S.~Thiagarajan},
   number =       880,
   series =       {LNCS},
   organization = {Springer}
 }

 @InProceedings{AronM:softemstsfnp,
   author =       {Mohit Aron and Peter Druschel},
   title =        {Soft timers: efficient microsecond software
 timer support for network processing},
   booktitle =    {Proceedings of the 17th Symposium on Operating Systems Principles (SOSP'99)},
   year =         1999
 }


 @Misc{short:BHY,
   author =       {Martin Berger and Kohei Honda and Nobuko Yoshida},
   title =        {Sequentiality and the $\pi$-Calculus}
 }

 @InProceedings{HYB04,
   author =       {Kohei Honda and Nobuko Yoshida and Martin Berger},
   title =        {Control in the $\pi$-Calculus},
   booktitle =    {Proc.~CW'04},
   publisher =    {ACM Press},
   year =    2004
 }

 @Unpublished{BHY-full,
   author =       {Martin Berger and Kohei Honda and Nobuko Yoshida},
   title =        {Sequentiality and the $\pi$-Calculus},
   note =         {Full version of \cite{BHY}}
 }



 @InProceedings{BHYFoSSaCs,
   author =      {Martin Berger and Kohei Honda and Nobuko Yoshida},
   title =   {{G}enericity and the $\pi$-{C}alculus},
   booktitle =   {Proc.~FOSSACS'03},
   number =       2620,
   series =       {LNCS},
   pages =        {103--119},
   month =        {April},
   publisher =    {Springer},
   year =    2003
 }

 @misc{short:BHYFoSSaCs,
   author =      {Martin Berger and Kohei Honda and Nobuko Yoshida},
   title =   {{G}enericity and the $\pi$-{C}alculus}
 }

 @misc{SophiaNote,
   author =      {Sophia Drossopoulou},
   title =   {{Advanced Issues in Object Oriented Languages Course Notes}},
   howpublished = {http://www.doc.ic.ac.uk/\~{}scd/Teaching/AdvOO.html}
 }


 @Article{ABRAMSKY,
  author =   {Samson Abramsky},
  title =    {Domain Theory in Logical Form},
  journal =      {Annuals of Pure and Applied Logic},
  year =     1991,
  volume =   51
}



@InProceedings{Abramsky03,
   author =      {Samson Abramsky and Radha Jagadeesan},
   title =   {A Game Semantics for Generic Polymorphism},
   booktitle =   {Proc.~FOSSACS'03},
   number =       2620,
   series =       {LNCS},
   month =        {April},
   pages =        {1--22},
   publisher =    {Springer},
   year =    2003
 }

@Book{BachM:desotuo,
   author =       {Maurice Bach},
   title =        {The Design of the Unix Operating System},
   publisher =    {Prentice-Hall},
   year =         1986
 }

@Book{Baeton:book,
   author =       {J.~Baeton and W.~Wejland},
   title =        {Process Algebra},
   publisher =    {Cambridge University Press},
   year =         1990
 }

@Book{BarendregtH:lamcal,
   author =       {Henk Barendregt},
   title =        {The Lambda Calculus},
   publisher =    {North Holland},
   year =         1985
 }




 @PhdThesis{BergerM:towabsds,
   author =       {Martin Berger},
   title =        {{T}owards {A}bstractions for {D}istributed {S}ystems},
   school =      {Imperial College, London},
   year =         {2002}
 }

 @Misc{short:BergerM:towabsds,
   author =       {Martin Berger},
   title =        {{T}owards {A}bstractions for {D}istributed {S}ystems}
 }


 @Unpublished{BergerM:absfdssBH,
   author =       {Martin Berger and Kohei Honda},
   title =        {Abstractions for Distributed Systems (II): Subjects},
   note =         {Available upon request from the authors},
   month =        {April},
   year =         {1999}
 }

 @Unpublished{BergerM:almevepahafaaceitap,
   author =       {Martin Berger},
   title =        {({A}lmost) {E}very {P}rocess {A}lgebra has a {F}ully-{A}bstract and {C}ompositional {E}ncoding into the {A}synchronous $\pi$-{C}alculus},
   note =         {Draft},
   year =         2000
 }

 @Unpublished{BergerM:almevepchacafaeipc,
   author =      {Martin Berger},
   title =   {(Almost) Every Process Calculus has a Compositional and Fully Abstract Encoding into $\pi$-Calculi},
   note =    {In preparation}
 }


 @Unpublished{BergerM:apicwer,
   author =       {Martin Berger},
   title =        {A $\pi$-Calulus with Explicit Resources},
   note =         {Unpublished, Available upon request from the author.},
   month =        {March},
   year =         1999
 }


 @Unpublished{BergerM:apicwt,
   author =       {Martin Berger},
   title =        {A $\pi$-Calculus with Timers},
   note =         {Available upon request from the author},
   month =        {September},
   year =         {1999},
 }


 @Unpublished{BergerM:atomiccpep,
   author =       {Martin Berger and Kohei Honda},
   title =        {Atomic Commitment Protocols in Extended $\pi$-Calculi (1)},
   note =         {Available upon request from the authors},
   month =        {May},
   year =         {2000}}

 @Unpublished{BergerM:comnampwaa,
   author =      {Martin Berger},
   title =   {Combining {N}ame-{P}assing with {A}ddress-{A}rithmetic},
   note =    {In preparation},
   OPTkey =      {},
   OPTmonth =    {},
   OPTyear =     {},
   OPTannote =   {}
 }

 @Unpublished{BergerM:dynalg,
   author =       {Martin Berger},
   title =        {Dynamic Algebras},
   note =         {Draft},
   OPTkey =       {},
   OPTmonth =     {},
   year =         {1998},
   OPTannote =    {}
 }


 @InProceedings{BergerM:gratypbdda,
   author =       {Martin Berger},
   title =        {A Graph-Type Based Deadlock Detection Algorithm},
   booktitle =    {Advances in Theory and Formal Methods of Computing},
   year =         1996,
   publisher =    {IC Press}
 }



 @Unpublished{BergerM:objatpic,
   author =      {Martin Berger},
   title =   {Objects and the $\pi$-{C}alculus},
   note =    {In preparation},
   OPTkey =      {},
   OPTmonth =    {},
   OPTyear =     {},
   OPTannote =   {}
 }

 @Unpublished{BergerM:picer,
   author =       {Martin Berger},
   title =        {$\pi$-Calculi with Explicit Resources},
   note =         {Unpublished draft, Svailable upon request from the author},
   month =        {March},
   year =         1999
 }

 @Unpublished{BergerM:picwerApril,
   author =       {Martin Berger and Kohei Honda},
   title =        {$\pi$-Calculi with Explicit Resources},
   note =         {Unpublished draft, Available upon request from the authors},
   month =        {April},
   year =         1999
 }

 @unpublished{BergerM:picwp,
   author =       {Martin Berger},
   title =        {A $\pi$-Calculus with Persistence},
   note =         {Available upon request from the author},
   month =        {January},
   year =         2000
 }

 @Unpublished{BergerM:timAsypc-full,
   author =      {Martin Berger},
   title =   {The Timed Asynchronous $\pi$-Calculus:
 Basic Theory of Reduction Congruence},
   note =    {In preparation. Draft available at \texttt{http://www.dcs.qmul.ac.uk/\~{}martinb/publications/fsttcs02-full.ps.gz}}
 }


 @Unpublished{BergerM:timasynpicrc,
   author =      {Martin Berger},
   title =   {The {T}imed {A}synchronous $\pi$-{C}alculus: {B}asic {T}heory of {R}eduction {C}ongruence},
   note =    {In preparation}
 }


 @Unpublished{BergerM:twolpc,
   author =       {Martin Berger},
   title =        {2-Level $\pi$-Calculi},
   note =         {Unpublished note, Available upon request from the author},
   month =        {April},
   year =         1999
 }

 @Unpublished{BergerM:twolpc2,
   author =       {Martin Berger},
   title =        {2-Level $\pi$-Calculi (2)},
   note =         {Unpublished note, Available upon request from the author},
   month =        {April},
   year =         1999
 }




 @Unpublished{BergerM:twolpcfdst,
   author =       {Martin Berger and Kohei Honda},
   title =        {2-Level $\pi$-calculi for Distributed Systems (3)},
   note =         {Draft, Available upon request from the authors},
   month =        {May},
   year =         {1999},
 }


 @Unpublished{BergerM:twophacpiaepc-full,
   author =       {Martin Berger and Kohei Honda},
   title =        {The {T}wo-{P}hase {C}ommit {P}rotocol in an {E}xtended $\pi$-Calculus},
   note =         {Full version of \cite{MartinB:twophacpiaepc}. In preparation}
 }


 @unpublished{BergerM:typfmm,
   author =       {Martin Berger},
   title =        {Types For Memory Management},
   note =         {Available upon request from the author},
   month =        {October},
   year =         1999
 }




 @Article{BergstraJA:algcp,
   author =       {Jan A.~Bergstra and Jan Willem Klop},
   title =        {Algebra of Communicating Processes},
   journal =      {Theoretical Computer Science},
   year =         1985,
   volume =       37,
   pages =        {77--121}
 }

@Book{BergstraJA:hanproa,
   editor =       {Jan A. Bergstra and Alban Ponse and Scott A. Smolka},
   title =        {{H}andbook of {P}rocess {A}lgebra},
   year =         2001,
   publisher =    {Elsevier}
 }

 @Misc{short:BergstraJA:hanproa,
   author =       {Jan A. Bergstra and Alban Ponse and Scott A. Smolka},
   title =        {{H}andbook of {P}rocess {A}lgebra}
 }

 @Article{BernadoM:tutempatocownppat,
   author =      {Marco Bernardo and Roberto Gorrieri},
   title =   {A {T}utorial on {EMPA}: {A} {T}heory of {C}oncurrent {P}rocesses with {N}ondeterminism, {P}riorities, {P}robabilities and {T}ime},
   journal =     {TCS},
   year =    1998
 }

 @Article{BernardoM:theocpwnppat,
   title={A tutorial on~{EMPA}: A theory of concurrent processes with nondeterminism, priorities, probabilities and time},
   author={Marco Bernardo and Roberto Gorrieri},
   pages={1--54},
   journal=tcs,
   year=1998,
   volume=202,
   number={1--2},
   note={Tutorial},
 }


@Book{BernsteinPA:concrd,
   author =       {Philip A.~Bernstein and Vassos Hadzilacos and Nathan Goodman},
   ALTeditor =    {},
   title =        {Concurrency Control and Recovery in Database Systems},
   publisher =    {Addison-Wesley},
   year =         {1987},
   OPTkey =       {},
   OPTvolume =    {},
   OPTnumber =    {},
   OPTseries =    {},
   OPTaddress =   {},
   OPTedition =   {},
   OPTmonth =     {},
   OPTnote =      {},
   OPTannote =    {}
 }


 @Article{BerryG:cheabsm,
   author =       {G\'erard  Berry and G\'erard Boudol},
   title =        {The {C}hemical {A}bstract {M}achine},
   journal =      {TCS},
   year =         1992,
   volume =       96,
   pages =        {217--248}
 }


@Book{BlackburnP:modlog,
   author =       {Patrick Blackburn and Maarten de Rijke and Yde Venema},
   title =        {Modal Logic},
   year =         2001,
   publisher =    {Cambridge University Press}
 }


 @Misc{short:BlackburnP:modlog,
   author =       {Patrick Blackburn and Maarten de Rijke and Yde Venema},
   title =        {Modal Logic}
 }

 @techreport{BoSa96,
   author = {Michele Boreale and Davide Sangiorgi},
    title = {Some Congruence Properties for  $\pi$-calculus Bisimilarities},
    year = {1996},
    institution = {{INRIA}-Sophia Antipolis},
    number = {{RR}-2870},
    note = {Available
         electronically as {\tt
         ftp://ftp.dcs.ed.ac.uk/pub/sad/congruence96.ps.gz} }
 }

 @inproceedings{BoSa97,
    author = {Boreale, M. and Sangiorgi, D.},
    title = {Bisimulation in name-passing calculi
        without matching},
    booktitle = lics98,
    year = {1998},
    publisher = {{IEEE} Computer Society Press}
 }


 @article{BoSa98tcs,
    author = {Boreale, M. and Sangiorgi,  D.},
    title = {Some Congruence Properties for  $\pi$-calculus Bisimilarities},
    journal = tcs,
    year = {1998},
    volume= {198},
    pages = {159--176},
    comment = {Appeared as {INRIA} {Tec.} {R}ep. {RR}-2870, 1996.}
 }

 @article{BonnerAJ:anootl,
   author =       {Anthony J.~Bonner and Michael Kifer},
   title =        {An Overview of Transaction Logic},
   journal =      {Theoretical Computer Science},
   year =         1994,
   volume =       133,
   pages =        {205--265}
 }

 @InProceedings{BonnerAJ:conacitl,
   author =       {Anthony J.~Bonner and Michael Kifer},
   title =        {Concurrency and Communication in Transaction Logic},
   booktitle =    {Proceedings of the Joint International Conference
 and Symposium on Logic Programming (JICSLP)},
   pages =        {142--156},
   year =         1996,
   publisher =    {MIT Press}
 }

 @InProceedings{BonnerAJ:tradaclftp,
   author =       {Anthony J.~Bonner},
   title =        {Transaction Datalog: a Compositional Language for Transaction Programming},
   booktitle =    {Proceedings of the Sixth International Workshop on Database Programming Languages (DBPL)},
   pages =        {373--395},
   year =         1997,
   number =       1369,
   series =       {LNCS},
   month =        {August},
   publisher =    {Springer}
 }

 @inproceedings{BorealeM:fulasfcinpc,
    author = {Boreale, M. and Sangiorgi, D.},
    title = {A fully abstract semantics for causality in the  $\pi$-calculus},
    year = {1995},
    booktitle = {Proc.\ 12th {S}ymposium on
           {T}heoretical {A}spects of {C}omputer {S}cience {(STACS'95)}},
     series = LNCS,
    publisher = {Springer},
      editor =  {Mayr, E.W. and   Puech, C.},
      volume = {900},
 note = {To appear in {\em Acta Informatica}}
 }

 @techReport{BoudolG:aynatpic,
   author =       {Gerard Boudol},
   title =        {Asynchrony and the pi-calculus},
   institution =  {INRIA},
   year =         1992,
   number =       1702
 }

 @InProceedings{BoudolG:picalids,
   author =      {G\'erard Boudol},
   title =   {The pi-calculus in direct style},
   booktitle =   {Proc.~POPL'97},
   year =    1997
 }




 @InProceedings{BHY02,
  author =   {Martin Berger and Kohei Honda and Nobuko Yoshida},
  title =    {Genericity and
  the $\pi$-Calculus},
  booktitle =    {Proc.~FoSSaCs'03},
  year =     2003,
  number =   2620,
  series =   {LNCS}
}

@inproceedings{BORNAT,
 author = {Richard Bornat},
 title = {Proving Pointer Programs in Hoare Logic},
 booktitle = {Proc.~Conf.~on Mathematics of Program Construction},
 year = {2000},
 series = {LNCS},
 publisher = {Springer-Verlag},
 }

@InProceedings{BrachaG:makfutsfp,
   author =       {Gilad Bracha and Martin Odersky and David Stoutamire and Philip Wadler},
   title =        {Making the future safe for the past: Adding Genericity to the {J}ava Programming Language},
   booktitle =    {OOPSLA'98},
   year =         1998,
   pages     = {183-200},
   OPmonth =        {October},
   publisher = {ACM Press},
 }

 @Proceedings{CONCUR90,
   booktitle = {CONCUR~'90: Theories of Concurrency: Unification and Extension},
   editor    = {J. C. M. Baeten and J. W. Klop},
   address   = {Amsterdam, The Netherlands},
   year      = 1990,
   series    = LNCS,
   volume    = 458,
   publisher = {Springer},
   crossrefonly=1
 }


 @InProceedings{CarboneM:exppowopsipc,
   author =      {Marco Carbone and Sergio Maffeis},
   title =   {On the Expressive Power of Polyadic Synchronisation in Pi-Calculus},
   booktitle =   {Proc.~EXPRESS'02},
   volume =  68,
   series =  {ENTCS},
   year =    2002
 }

 @Misc{short:CarboneM:exppowopsipc,
   author =      {Marco Carbone and Sergio Maffeis},
   title =   {On the Expressive Power of Polyadic Synchronisation in Pi-Calculus}
 }



 @TechReport{CardelliL:pollamcwtt,
   author =       {Luca Cardelli},
   title =        {A polymorphic lambda-calculus with {T}ype:{T}ype},
   institution =  {Digital Equipment Corporation Systems Research Center},
   year =         1986,
   month =        {May},
   note =         {SRC Research Report 10}
 }
 }

 @Article{CardelliL:undtypdaap,
   author =       {Luca Cardelli and Peter Wegner},
   title =        {On understanding types, data abstraction, and polymorphism},
   journal =      {Computing Surveys},
   year =         1985,
   volume =       17,
   number =       4,
   pages =        {471-522}
 }

 @InCollection{CastellaniI:proalgwl,
   author =      {Ilaria Castellani},
   title =   {Process Algebras with Localities},
   booktitle =   {\emph{\cite{BergstraJA:hanproa}}},
   publisher =   {North-Holland},
   year =    2001,
   chapter =     15
 }

 @InProceedings{CattaniGL:higdts,
   author =       {Gian-Luca Cattani and Vladimiro Sassone},
   title =        {Higher Dimensional Transition Systems},
   booktitle =    {Proceedings of the Eleventh Annual IEEE Symposium on
           Logic in Computer Science},
   pages =        {55-62},
   year =         1996,
   organization = {IEEE Computer Society Press}
 }

 @InProceedings{CharronBostB:revsafalitcof,
   author =       {Bernadette Charron-Bost and Sam Toueg and Anindya Basu},
   title =        {Revisiting Safety and Liveness in the Context of Failures},
   booktitle =    {Proceedings of CONCUR'2000},
   pages =        {552--565},
   year =         2000,
   editor =       {Catuscia Palamidessi},
   number =       1877,
   series =       {LNCS},
   publisher =    {Springer}
 }


 @InProceedings{CheritonDR:undthelimofatoc,
   author =       {David R.~Cheriton and Dale Skeen},
   title =        {Understanding the limitations of causally and totally ordered communication},
   booktitle =    {Proceedings of the 11th ACM Symposium on Operating System Principles},
   pages =        {44-57},
   year =         1993,
   month =        {December}
 }


 @InProceedings{ClarkeD:overepe,
   author =       {D. G. Clarke and R. J. Noble and J. M. Potter},
   title =        {Overcoming Representation Exposure},
   booktitle =    {Proceedings of the Intercontinental Workshop on Aliasing in Object Oriented Systems at ECOOP '99 },
   year =         1999
 }




 @InProceedings{ClarkeDG:owntypffap,
   author =       {D. G. Clarke and J. M. Potter and  R. J. Noble},
   title =        {Ownership Types for Flexible Alias Protection},
   booktitle =    {Proceedings of OOPSLA'98},
   year =         1998
 }

@Book{ClarkeEM:modche,
   author =       {Edmund M. Clarke, Jr. and Orna Grumberg and Doron A. Peled},
   title =        {Model Checking},
   publisher =    {MIT Press},
   year =         {2000}
 }


 @Article{CopelandJB:beyunitm,
   author =      {B.~Jack Copeland and R.~Sylvan},
   title =   {Beyond the Universal Turing Machine},
   journal =     {Australasian Journal of Philosophy},
   year =    {1998}
 }

 @Misc{CopelandJB:chutt,
   author =       {B. Jack Copeland},
   title =        {The {C}hurch-{T}uring {T}hesis},
   howpublished = {Entry in the Stanford Encyclopedia of Philosophy, http://plato.stanford.edu/entries/church-turing/ }
 }





 @Article{CoquandT:calofc,
   author =       {Thierry Coquand and G\'erard P.~Huet},
   title =        {The Calculus of Constructions},
   journal =      {Inf.~\& Comp.},
   year =         1988,
   volume =       76,
   number =       {2/3},
   pages =        {95--120}
 }



@Book{CoulorisG:dissys,
   author =       {George Coulouris and Jean Dollimore and Tim Kindberg},
   title =        {Distributed Systems, Concepts and Design},
   publisher =    {Addison-Wesley},
   year =         2001
 }

@Book{CutlandN:com,
   author =       {Nigel Cutland},
   title =        {Computability: an introduction to recursive function theory},
   publisher =    {Cambridge University Press},
   year =         1980
 }




@Book{CzarneckiK:genpro,
   author =       {Krzysztof Czarnecki and Ulrich Eisenecker},
   title =        {Generative Programming: Methods, Tools, and Applications},
   publisher =    {Addison-Wesley},
   year =         2000
 }

@Book{DavisM:comcomal,
   author =       {Martin Davis and Elene Weyuker},
   title =        {Computability, Complexity, and Languages},
   publisher =    {Academic Press},
   year =         1983
 }

 @InProceedings{DeganoP:mobprowlc,
   author =      {Pierpaolo Degano and Jean-Vincent Loddo and Corrado Priami},
   title =   {Mobile Processes with Local Clocks},
   booktitle =   {Proc.~of the Workshop on Analysis and Verification of Multiple-Agent Languages},
   year =    1996
 }


 @InProceedings{DeganoP:nonisfmp,
   author =       {Pierpaolo Degano and Corrado Priami},
   title =        {Non-Interleaving Semantics for Mobile Processes},
   booktitle =    {???},
   OPTcrossref =  {},
   OPTkey =       {},
   OPTpages =     {},
   OPTyear =      {},
   OPTeditor =    {},
   OPTvolume =    {},
   OPTnumber =    {},
   OPTseries =    {},
   OPTaddress =   {},
   OPTmonth =     {},
   OPTorganization = {},
   OPTpublisher = {},
   OPTnote =      {},
   OPTannote =    {}
 }

 @InProceedings{DeganoP:protre,
   author =       {Pierpaolo Degano and Corrado Priami},
   title =        {Proved Trees},
   booktitle =    {Proceedings of ICALP'92},
   pages =        {629--640},
   year =         1992,
   editor =       {W. Kuich},
   number =       623,
   series =       {LNCS},
   publisher =    {Springer}
 }


 @TechReport{ElnozahyEN:asurorrpimps,
   author =       {Elmootazbellah N. Elnozahy and David B. Johnson and Yi-Min Wang},
   title =        {A Survey of Rollback-Recovery Protocols in Message-Passing Systems},
   institution =  {School of Computer Science, Carnegie Mellon University},
   year =         1996,
   number =       {CMU-CS-96-181}
 }



 @InProceedings{EneC:brobascfcs,
   author =      {Cristian Ene and Traian Muntean},
   title =   {A {B}roadcast-{B}ased {C}alculus for {C}ommunicating {S}ystems},
   booktitle =   {Workshop on Formal Methods for Parallel Programming},
   year =    2001
 }


 @InProceedings{EneC:expopoitpvbc,
   author =      {Cristian Ene and Traian Muntean},
   title =   {Expressiveness of Point-to-Point versus Broadcast Communications},
   booktitle =   {Proc.~FCT'99},
   year =    1999,
   series =  {LNCS}
 }


 @PhdThesis{ErringtonL:twisys,
   author =       {Lindsay Errington},
   title =        {Twisted Systems},
   school =       {Imperial College},
   year =         1999
 }

 @article{FaGrMaSa90,
    author = {Fachini, E. and Gruska, J. and
           Maggiolo-Schettini, A. and
          Sangiorgi, D.},
     title = {Simulation     of Systolic Tree Automata on Trellis Automata},
       journal = {International Journal of
           Foundations of Computer Science},
     year = {1990},
       volume = {1},
    pages = {87--110}
  }

 @article{FaMaReSa89,
    author = {Fachini, E. and Maggiolo-Schettini, A. and Resta, G. and
          Sangiorgi, D.},
    title = {Some        Structural  Properties of Systolic Tree Automata},
    journal = {Fundamenta Informaticae},
    year = {1989},
      volume = {XII},
      pages = {571--585}
   }

 @article{FaMaReSa91,
    author = {Fachini, E. and Maggiolo-Schettini, A. and Resta, G. and
          Sangiorgi, D.},
    title = {Non         Acceptability Criteria and Closure Properties
          for the Class of   Languages Accepted by Binary Systolic  Tree
         Automata},
      journal = tcs,
    }
    @InProceedings{CLARKE,
      author = {Clarke,~E},
      title = {Programming language constructs for which it is impossible to obtain good {H}oare axiom systems.},
      booktitle = {POPL'79},
      year = 1979,
      pages = {129--147}
    }



    @InProceedings{shao97:_overv_flint_ml_compil,
      author ={Zhong Shao},
      title =    {An Overview of the {FLINT/ML} Compiler},
      booktitle =    {Proc. 1997 {ACM} {SIGPLAN} Workshop on Types in
              Compilation ({TIC}'97)},
      year =     1997,
      address =  {Amsterdam, The Netherlands},
      month =    {June}}

    @Article{NAUR,
      author = {P. Naur},
      title = {Proof of algorithms by general snapshots},
      journal ={BIT},
      volume = {6},
      pages = {310-316},
      year = 1966
    }

    @Article{MPWlogics,
      author = {Robin Milner and Joachim Parrow and David Walker},
      title = {Modal logics for mobile processes},
      journal = {TCS},
      year =     1993,
      volume =   114,
      pages =    {149--171}
    }

    @Article{APT,
      author = {K R.~Apt},
      title = {Ten {Y}ears of {H}oare {L}ogic: a survey},
      journal = {TOPLAS},
      volume = 3,
      pages = {431-483},
      year = 1981
    }

    @InProceedings{CYCLONE2,
      author = {
    Trevor Jim and Greg Morrisett and Dan Grossman and Michael Hicks and James Cheney and Yanling Wang},
      title = {Cyclone: A Safe Dialect of C},
      booktitle = {Usenix Annual Technical Conference, Monterey, CA},
      year = 2002
    }

    @InProceedings{CYCLONE,
      author =
    {Dan Grossman and Greg Morrisett and Trevor Jim and Michael Hicks and Yanling Wang and James Cheney},
      title = {Region-Based Memory Management in Cyclone},
      booktitle = {PLDI'02},
      publisher = {ACM},
      year = 2002
    }


    @Article{TAL,
     author = {Greg Morrisett and David Walker and Karl Crary and Neal Glew},
     title = {From {S}ystem {F} to typed assembly language},
     journal = {ACM Trans. Program. Lang. Syst.},
     volume = {21},
     number = {3},
     year = {1999},
     pages = {527--568},
     publisher = {ACM Press},
     }

    @InProceedings{COUSOT,
      author = {Patrick Cousot},
      title = {Methods and logics for proving programs},
      booktitle = {Handbook of Theoretical Computer Science, volume B},
      pages = {843-993},
      publisher = {Elsevier},
      year = 1999
    }

    @Article{LANDIN,
      author =   {Peter Landin},
      title =    {A Correspondence Between ALGOL 60 and Church's Lambda-Notation},
      journal =      {Comm. ACM},
      volume = {8:2},
      year =     1965
    }

    @InProceedings{BiemanParkinson05,
      author =   {Gavin M.~Bierman and Matthew J.~Parkinson},
      title =    {Separation Logic and Abstractions},
      booktitle =    {POPL'05},
      year =     2005
    }

    @InProceedings{ALEX,
      author =   {Alex Simpson and Gordon Plotkin},
      title =    {Complete {A}xioms for {C}ategorical
             {F}ixed-{P}point {O}perators},
      booktitle =    {Proc.~15$^{\text{th}}$ LiCS},
      year =     2000
    }

    @TechReport{KLEYMANN,
      author =   {Thomas Kleymann},
      title =    {Hoare Logic and Auxiliary Variables},
      institution =  {University of Edinburgh, LFCS ECS-LFCS-98-399},
      year =         1998,
      month =        {October}
    }

    @InProceedings{SS,
      author =   {Scott Smith},
      title =    {From {O}perational to {D}enotational {S}emantics},
      booktitle =    {Proc.~Conference on Mathematical Foundations of Programming Language Semantics},
      year =     1992,
      volume =   598,
      series =   {LNCS}
}

@Book{HASEGAWA,
      author =   {Masahito Hasegawa},
      title =    {Models of Sharing Graphs: A Categorical Semantics of let and letrec},
      publisher =    {Springer-Verlag},
      year =     1999,
      series =   {Distinguished Dissertation Series}
    }

@Book{DL,
      author =   {David Harel and Dexter Kozen and Jerzy Tiuryn},
      title =    {Dynamic Logigc},
      publisher =    {The MIT Press},
      year =     {2000}
    }

    %\bibitem{HAREL}
    %Harel, D. Proving the correctness of regular deterministic programs.
    %{\em TCS}, 12:61--81, 1980.

    @article{DAHLandHOARE,
     author = {Ole-Johan Dahl and Tony Hoare},
     title = {Hierarchical Program Structure},
     journal = {Structured Programming},
     pages = {175--220},
     year = {1972}
     }

    %\bibitem{JML}
    %Leavens, G. and Baker, A.
    %Enhancing the Pre- and Postcondition Technique for More
    %Expressive Specifications.
    %{\em FM'99: World Congress on Formal Methods}, Springer, 1999.


    @inproceedings{Leavens:Baker,
     author = {Gary Leavens and Alber L.~Baker},
     title = {Enhancing the Pre- and Postcondition Technique for More Expressive Specifications},
     booktitle = {FM'99: World Congress on Formal Methods},
     year = 1999,
     publisher = {Springer}
     }

    @inproceedings{HowardBT:indcapt,
     author = {Brian T.~Howard},
     title = {Inductive, coinductive, and pointed types},
     booktitle = {Proc.~$1^{\text{st}}$ int.~conf. on Functional programming},
     year = 1996,
     publisher = {ACM Press}
     }

    @inproceedings{JefferyRathke,
    author = {Alan Jeffrey and Julian Rathke},
    year = {1999},
    title = {Towards a theory of bisimulation for local names},
    booktitle = {Proc.~LICS'99},
    publisher = {IEEE Computer Society Press},
    pages = {56--66}
    }

    @article{HAREL,
    author ={David Harel},
    title = {Proving the correctness of regular deterministic programs},
    journal = {TCS},
    volume = {12},
    number = {16},
    year = {1980}
    }


    @article{DenningDE:ceropfsif,
     author = {Dorothy E.~Denning and Peter J.~Denning},
     title = {Certification of programs for secure information flow},
     journal = {Commun.~ACM},
     volume = {20},
     number = {7},
     year = {1977}
     }

    @inproceedings{MyersA:adecmfifc,
     author = {Andrew C.~Myers and Barbara Liskov},
     title = {A decentralized model for information flow control},
     booktitle = {Proc.~16$^{\text{th}}$ SOSP},
     year = {1997},
     publisher = {ACM Press}
     }

    @article{JoshiR:asemapptsif,
     author = {Rajeev Joshi and K. Rustan M.~Leino},
     title = {A semantic approach to secure information flow},
     journal = {Sci.~Comput.~Program.},
     volume = {37},
     number = {1-3},
     year = {2000}
     }


    @article{LampsonBW:anototcp,
     author = {Butler W.~Lampson},
     title = {A note on the confinement problem},
     journal = {Comm.~ACM},
     volume = {16},
     number = {10},
     year = {1973}
     }

     @Book{HoareT:unitop,
      author =       {Tony Hoare and He Jifeng},
      title =        {Unifying Theories of Programming},
      publisher =    {Prentice-Hall International},
      year =         1998
    }

     @InProceedings{AbadiBlanchet,
       author =       {Mart{\'\i}n Abadi and Bruno Blanchet},
       title =        {Secrecy {T}ypes for {A}symmetric {C}ommunication},
       booktitle =    {Proc.~FoSSaCs'01},
       year =         2001
     }

    @inproceedings{MyersA:jflpmsifc,
     author = {Andrew C.~Myers},
     title = {JFlow: practical mostly-static information flow control},
     booktitle = {Proc.~26th POPL},
     year = {1999}
     }

    @inproceedings{ZdancewicS:secifac,
     author = {Steve Zdancewic and Andrew C.~Myers},
     title = {Secure Information Flow and CPS},
     booktitle = {Proc.~10th ESOP},
     year = {2001},
     publisher = {Springer-Verlag},
     }

    @inproceedings{ZhengL:usiraptbsds,
     author = {Lantian Zheng and Stephen Chong and Andrew C.~Myers and Steve Zdancewic},
     title = {Using Replication and Partitioning to Build Secure Distributed Systems},
     booktitle = {Proc.~IEEE Symposium on Security and Privacy},
     year = {2003}
     }

    @inproceedings{IgarashiA:resua,
      author =   {Atsushi Igarashi and Naoki Kobayashi},
      title =    {Resource usage analysis},
      booktitle =    {Proc.~29th POPL},
      year =     {2002}
    }


    @InProceedings{DarvasA:athepataosif,
      author =   {{\'A}d{\'a}m Darvas and Reiner H\"ahnle and Dave Sands},
      title =    {A Theorem Proving Approach to Analysis of Secure Information Flow},
      booktitle =    {Proc.~Workshop on Issues in the Theory of Security},
      year =     2003
    }


    @article{GreifI:spetsowp,
     author = {Irene Greif and Albert R. Meyer},
     title = {{S}pecifying the {S}emantics of while {P}rograms: {A} {T}utorial and {C}ritique of a {P}aper by {H}oare and {L}auer},
     journal = {ACM Trans.~Program.~Lang.~Syst.},
     volume = {3},
     number = {4},
     year = {1981}
     }

    @inproceedings{MeyerAR:towfasflv,
     author = {Albert R.~Meyer and Kurt Sieber},
     title = {Towards fully abstract semantics for local variables},
     booktitle = {Proc.~POPL'88},
     year = {1988}
     }

    @InProceedings{MeyerAR:flohlds,
      author =   {Albert R.~Meyer},
      title =    {{F}loyd-{H}oare logic defines semantics (preface version)},
      booktitle =    {Proc.~LICS'86},
      year =     1986
    }


    @book{HuthM:logics,
      author =   {Michael Huth and  Mark Ryan},
      title =    {Logic in Computer Science: modelling and reasoning about systems},
      publisher =    {CUP},
      year =     2004
    }

    @InProceedings{PRATT,
      author =   {Vaughn R.~Pratt},
      title =    {Six Lectures on Dynamic Logic},
      booktitle =    {Foundations of Computer Science III, Part 2},
      pages =    {53-82},
      publisher =    {},
      year =     1980,
      number =   109,
      series =   {Mathematical Centre Tracts}
    }

    @Book{MENDELSON,
      author =   {Elliot Mendelson},
      title =    {Introduction to Mathematical Logic},
      publisher =    {Wadsworth Inc.},
      year =     1987
    }

    @inproceedings{BentonN:simrcpfsaapt,
     author = {Nick Benton},
     title = {Simple relational correctness proofs for static analyses and program transformations},
     booktitle = {Proc.~POPL},
     year = {2004}
     }



    @Article{KowaltowskT:axiatseagj,
      author =   {Tomasz Kowaltowski},
      title =    {Axiomatic approach to side effects and general jumps},
      journal =  {Acta Informatica},
      year =     1977,
      volume =   7
    }

    @article{OheimbD:hoalfjiih,
      author =   {David von Oheimb},
      title =    {Hoare Logic for {J}ava in {Isabelle/HOL}},
      journal =  {Concurrency and Computation: Practice and
              Experience},
      editor =   {Eisenbach, S. and Leavens, G. T.},
      year =     {2001},
      volume =   13,
      number =   13
    }




    @inproceedings{GiacobazziR:absnipnibaa,
     author = {Roberto Giacobazzi and Isabella Mastroeni},
     title = {Abstract non-interference: parameterizing non-interference by abstract interpretation},
     booktitle = {Proc.~POPL'04},
     year = {2004}
     }










    @Article{ABADI,
      author =   {Mart{\'\i}n Abadi},
      title =    {$\top\top$-closed relations and admissibility},
      journal =      {MSCS},
      year =     2000,
      volume =   10,
      number =   3
    }

    @InProceedings{ABADILEINO,
    author =      {Mart{\'\i}n Abadi and Rustan Leino},
    title = {A logic for object-oriented programs},
    booktitle = {Verification: Theory and Practice},
    year = 2004,
    publisher =    {Springer-Verlag},
    pages ={11-41}
    }

    @InProceedings{AbadiM:forparpPOPL,
       author =      {Mart{\'\i}n Abadi and Luca Cardelli and Pierre-Louis Curien},
       title =   {Formal parametric polymorphism},
       booktitle =   {Proc.~POPL'93},
       year =    1993
     }




     @Article{ABADICURIEN,
      author =   {Mart{\'\i}n Abadi and Luca Cardelli and Pierre-Louis Curien},
      title =    {Formal parametric polymorphism},
      journal =      {TCS},
      year =     1993,
      volume =   121,
      number =   {1-2}
    }

    @InProceedings{TalpinJP:typeffd,
      author =   {Jean-Pierre Talpin and Pierre Jouvelot},
      title =    {The type and effect discipline},
      booktitle =    {Proc.~LICS'92},
      pages =    {162-173},
      year =     1992
    }

    @InProceedings{AbadiM:logobjop,
    author =      {Martin Abadi and Rustan Leino},
    title = {A logic for object-oriented programs},
    booktitle = {Verification: Theory and Practice},
    year = 2004,
    publisher =    {Springer-Verlag},
    pages ={11-41}
    }

    @Article{AbadiM:forparpTCS,
       author =      {Mart{\'\i}n Abadi and Luca Cardelli and Pierre-Louis Curien},
       title =   {Formal parametric polymorphism},
       journal =     {TCS},
       year =    1993,
       volume =  121,
       number =  {1-2},
       pages =   {9--58}
     }

     @InProceedings{AbadiM:spical,
       author =       {Mart{\'\i}n Abadi and Andy Gordon},
       title =        {{A} {C}alculus for {C}ryptographic {P}rotocols: The {S}pi {C}alculus},
       booktitle =    {Proc.~ACM Conference on Computer and Communications Security},
       year =         1997,
       publisher =    {ACM Press}
     }

     @InProceedings{AbdullaPA:algvolcsaattbrt,
       author =       {Parosh Aziz Abdulla and Aurore Annichini and Ahmed Bouajjani},
       title =        {Algorithmic Verification of Lossy Channel Systems},
       booktitle =    {Proc.~TACAS'99},
       year =         1999
     }

     @Article{AbdullaPA:verpwuc,
       author =       {Parosh Aziz Abdulla and Bengt Jonsson},
       title =        {Verifying Programs with Unreliable Channels},
       journal =      {Info.~\&~Comp.},
       year =         1996,
       volume =       127,
       number =       2,
       pages =        {91--101}
     }


    @Misc{SEALfull,
       author =       {Giuseppe Castagna and Jan Vitek and Francesco~Zappa Nardelli},
       title =        {The {S}eal calculus},
       howpublished = {ftp://ftp.di.ens.fr/pub/users/castagna/seal.ps.gz}
    }

    @Misc{short:AbdullaPA:verpwuc,
       author =       {Parosh Aziz Abdulla and Bengt Jonsson},
       title =        {Verifying Programs with Unreliable Channels},
     }

     @InProceedings{AbdullaPA:verpwucLICS,
       author =       {Parosh Aziz Abdulla and Bengt Jonsson},
       title =        {Verifying Programs with Unreliable Channels},
       booktitle =    {LICS'93},
       year =         1993
     }

     @InProceedings{AbramskyS:axifulcmfmlpt,
       author =       {Samson Abramsky and Marina Lenisa},
       title =        {Axiomatizing Fully Complete Models for {ML} Polymorphic Types},
       booktitle =    {Proc.~of MFCS'2000},
       year =         2000
     }

    @Article{intersection,
      author =   {Franco Barbanera and Mariangiola Dezani-Ciancaglini and Ugo de'Liguoro},
      title =    {Intersection and Union Types: syntax and semantics},
      journal =      {Inf.~and Comp.},
      year =     1995,
      volume =   119
    }

    @article{AbramskyS:comintoll,
         author          = {Samson Abramsky},
         title           = {Computational Interpretations of Linear Logic},
         journal         = {TCS},
         volume          = 111,
         year            = 1993}

     @Article{AbramskyS:fulap,
       author =       {Samson Abramsky and Radha Jagadeesan and Pasquale Malacaria},
       title =        {Full Abstraction for {PCF}},
       journal =      {},
       year =         2000,
       volume =       163,
       pages =        {409--470}
     }

     @InCollection{AbramskyS:fulcompmfmlpt,
       author =       {Samson Abramsky and Marina Lenisa},
       title =        {A Fully-complete {PER} Model for {ML} Polymorphic Types},
       booktitle =    {Proc.~of CSL'2000},
       series =       {LNCS},
       publisher =    {Springer},
       year =         2000
     }

     @InProceedings{AbramskyS:gamsem,
       author =       {Samson Abramsky and Guy McCusker},
       title =        {Game Semantics},
       booktitle =    {Logic and Computation: Proc.~of the 1997 Marktoberdorf Summer School},
       year =         1998
     }


     @article{AbramskyS:newfgifull,
       title =        {New Foundations for the Geometry of Interaction},
       author =       {Samson Abramsky and Radha Jagadeesan},
       journal =      {Inf.~\& Comp.},
       year =         {1994},
       volume =       {111},
       number =       {1},
       pages =        {53--119}
     }

     @InProceedings{AlHoumailyJ:twophacigndd,
       author =       {Yousef J.~Al-Houmaily and Panos K.~Chrysanthis},
       title = {Two-{P}hase {C}ommit in {G}igabit-{N}etworked {D}istributed {D}atabases},
       booktitle =    {Proceedings of the $8^{\text{th}}$ International Conference on Parallel and Distributed Computing Systems},
       pages =        {554--560},
       year =         1995
     }

     @InProceedings{AlHoumailyY:impyesvcpwdoc,
       author =       {Yousef J.~Al-Houmaily and Panos K.~Chrysanthis},
       title =        {The Implicit-Yes Vote Commit Protocol with Delegation of Commitment},
       booktitle =    {Proceedings of 9th International Conference on Parallel and
      Distributed Computing Systems},
       year =         1996
     }

     @Book{AlgerJ:cppfreap,
       author =       {Jeff Alger},
       title =        {C++ for Real Programmers},
       publisher =    {Academic Press},
       year =         {1998}
     }

     @inProceedings{AlurR:logamort,
       author =       {Rajeev Alur and Thomas A.~Henzinger},
       title =        {Logics and models of real time: a survey},
       booktitle =    {Real Time: theory in practice},
       year =         1992,
       editor =       {de Bakker at al},
       volume =       600,
       series =       {LNCS},
       publisher =    {sv}
     }

     @InProceedings{AlurR:obspoc,
       author =       {Rajeev Alur and  Costas Courcoubetis and Thomas A.~Henzinger},
       title =        {The Observational Power of Clocks},
       booktitle =    {Proceedings of CONCUR 1994},
       pages =        {162--177},
       year =         1994,
       number =       836,
       series =       {LNCS},
       organization = {Springer}
     }

     @Article{AlurR:theota,
       author =       {Rajeev Alur and David L.~Dill},
       title =        {A Theory of Timed Automata},
       journal =      {Theoretical Computer Science},
       year =         1994,
       volume =       126,
       pages =        {183--235}
     }

     @InProceedings{AmCaSa96,
        author = {Roberto Amadio and Ilaria Castellani and
              Davide Sangiorgi},
        booktitle = {Proc.~{CONCUR}'96},
        title = {On Bisimulations for  the Asynchronous $\pi$-calculus},
        year = {1996}
     }

     @techreport{AmCaSa96-TR,
        author = {Roberto Amadio and Ilaria Castellani and
              Davide Sangiorgi},
        title = {On Bisimulations for  the Asynchronous $\pi$-calculus},
        institution = {{INRIA}-Sophia Antipolis},
        number = {{RR}-2913},
        year = {1996}
     }




     @InProceedings{AmadioRM:asymolpm,
       author =       {Roberto M.~Amadio},
       title =        {An asynchronous model of locality, failure, and process mobility},
       booktitle =    {Proc.~COORDINATION 97},
       volume =  1282,
       series =  {LNCS},
       year =         1997
     }

     @Misc{short:AmadioRM:asymolpm,
       author =       {Roberto M.~Amadio},
       title =        {An asynchronous model of locality, failure, and process mobility}
     }


     @InProceedings{AmadioRM:locaf,
       author =       {Roberto M.~Amadio and Sanjiva Prasad},
       title =        {Localities and Failures},
       booktitle =    {Proc.~FSTTCS'94},
       volume =  880,
       series =  {LNCS},
       year =         1994
     }

     @misc{short:AmadioRM:locaf,
       author =       {Roberto M.~Amadio and Sanjiva Prasad},
       title =        {Localities and Failures}
     }

     @InProceedings{AmadioRM:locandfai,
       author =       {Roberto M.~Amadio and Sanjiva Prasad },
       title =        {Localities and Failures},
       booktitle =    {Proceedings of $14^th$ FST and TCS Conference},
       pages =        {205--216},
       year =         1994,
       editor =       {P.~S.~Thiagarajan},
       number =       880,
       series =       {LNCS},
       organization = {Springer}
     }

     @InProceedings{AronM:softemstsfnp,
       author =       {Mohit Aron and Peter Druschel},
       title =        {Soft timers: efficient microsecond software
     timer support for network processing},
       booktitle =    {Proceedings of the 17th Symposium on Operating Systems Principles (SOSP'99)},
       year =         1999
     }

     @InProceedings{BHY,
       author =       {Martin Berger and Kohei Honda and Nobuko Yoshida},
       title =        {Sequentiality and the $\pi$-Calculus},
       booktitle =    {Proc.~TLCA'01},
       volume =  2044,
       series =  {LNCS},
       pages     = {29-45},
       year =         2001
     }

     @Misc{short:BHY,
       author =       {Martin Berger and Kohei Honda and Nobuko Yoshida},
       title =        {Sequentiality and the $\pi$-Calculus}
     }

     @InProceedings{HYB04,
       author =       {Kohei Honda and Nobuko Yoshida and Martin Berger},
       title =        {Control in the $\pi$-Calculus},
       booktitle =    {Proc.~CW'04},
       publisher =    {ACM Press},
       year =    2004
     }

     @Unpublished{BHY-full,
       author =       {Martin Berger and Kohei Honda and Nobuko Yoshida},
       title =        {Sequentiality and the $\pi$-Calculus},
       note =         {Full version of \cite{BHY}}
     }



     @InProceedings{BHYFoSSaCs,
       author =      {Martin Berger and Kohei Honda and Nobuko Yoshida},
       title =   {{G}enericity and the $\pi$-{C}alculus},
       booktitle =   {Proc.~FOSSACS'03},
       number =       2620,
       series =       {LNCS},
       pages =        {103--119},
       month =        {April},
       publisher =    {Springer},
       year =    2003
     }

     @misc{short:BHYFoSSaCs,
       author =      {Martin Berger and Kohei Honda and Nobuko Yoshida},
       title =   {{G}enericity and the $\pi$-{C}alculus}
     }


     @Article{ABRAMSKY,
      author =   {Samson Abramsky},
      title =    {Domain Theory in Logical Form},
      journal =      {Annuals of Pure and Applied Logic},
      year =     1991,
      volume =   51
    }



    @InProceedings{Abramsky03,
       author =      {Samson Abramsky and Radha Jagadeesan},
       title =   {A Game Semantics for Generic Polymorphism},
       booktitle =   {Proc.~FOSSACS'03},
       number =       2620,
       series =       {LNCS},
       month =        {April},
       pages =        {1--22},
       publisher =    {Springer},
       year =    2003
     }

     @Book{BachM:desotuo,
       author =       {Maurice Bach},
       title =        {The Design of the Unix Operating System},
       publisher =    {Prentice-Hall},
       year =         1986
     }

     @Book{BarendregtH:lamcal,
       author =       {Henk Barendregt},
       title =        {The Lambda Calculus},
       publisher =    {North Holland},
       year =         1985
     }




     @PhdThesis{BergerM:towabsds,
       author =       {Martin Berger},
       title =        {{T}owards {A}bstractions for {D}istributed {S}ystems},
       school =      {Imperial College, London},
       year =         {2002}
     }

     @Misc{short:BergerM:towabsds,
       author =       {Martin Berger},
       title =        {{T}owards {A}bstractions for {D}istributed {S}ystems}
     }


     @Unpublished{BergerM:absfdssBH,
       author =       {Martin Berger and Kohei Honda},
       title =        {Abstractions for Distributed Systems (II): Subjects},
       note =         {Available upon request from the authors},
       month =        {April},
       year =         {1999}
     }

     @Unpublished{BergerM:almevepahafaaceitap,
       author =       {Martin Berger},
       title =        {({A}lmost) {E}very {P}rocess {A}lgebra has a {F}ully-{A}bstract and {C}ompositional {E}ncoding into the {A}synchronous $\pi$-{C}alculus},
       note =         {Draft},
       year =         2000
     }

     @Unpublished{BergerM:almevepchacafaeipc,
       author =      {Martin Berger},
       title =   {(Almost) Every Process Calculus has a Compositional and Fully Abstract Encoding into $\pi$-Calculi},
       note =    {In preparation}
     }


     @Unpublished{BergerM:apicwer,
       author =       {Martin Berger},
       title =        {A $\pi$-Calulus with Explicit Resources},
       note =         {Unpublished, Available upon request from the author.},
       month =        {March},
       year =         1999
     }


     @Unpublished{BergerM:apicwt,
       author =       {Martin Berger},
       title =        {A $\pi$-Calculus with Timers},
       note =         {Available upon request from the author},
       month =        {September},
       year =         {1999},
     }


     @Unpublished{BergerM:atomiccpep,
       author =       {Martin Berger and Kohei Honda},
       title =        {Atomic Commitment Protocols in Extended $\pi$-Calculi (1)},
       note =         {Available upon request from the authors},
       month =        {May},
       year =         {2000}}

     @Unpublished{BergerM:comnampwaa,
       author =      {Martin Berger},
       title =   {Combining {N}ame-{P}assing with {A}ddress-{A}rithmetic},
       note =    {In preparation},
       OPTkey =      {},
       OPTmonth =    {},
       OPTyear =     {},
       OPTannote =   {}
     }

     @Unpublished{BergerM:dynalg,
       author =       {Martin Berger},
       title =        {Dynamic Algebras},
       note =         {Draft},
       OPTkey =       {},
       OPTmonth =     {},
       year =         {1998},
       OPTannote =    {}
     }


     @InProceedings{BergerM:gratypbdda,
       author =       {Martin Berger},
       title =        {A Graph-Type Based Deadlock Detection Algorithm},
       booktitle =    {Advances in Theory and Formal Methods of Computing},
       year =         1996,
       publisher =    {IC Press}
     }



     @Unpublished{BergerM:objatpic,
       author =      {Martin Berger},
       title =   {Objects and the $\pi$-{C}alculus},
       note =    {In preparation},
       OPTkey =      {},
       OPTmonth =    {},
       OPTyear =     {},
       OPTannote =   {}
     }

     @Unpublished{BergerM:picer,
       author =       {Martin Berger},
       title =        {$\pi$-Calculi with Explicit Resources},
       note =         {Unpublished draft, Svailable upon request from the author},
       month =        {March},
       year =         1999
     }

     @Unpublished{BergerM:picwerApril,
       author =       {Martin Berger and Kohei Honda},
       title =        {$\pi$-Calculi with Explicit Resources},
       note =         {Unpublished draft, Available upon request from the authors},
       month =        {April},
       year =         1999
     }

     @unpublished{BergerM:picwp,
       author =       {Martin Berger},
       title =        {A $\pi$-Calculus with Persistence},
       note =         {Available upon request from the author},
       month =        {January},
       year =         2000
     }

     @Unpublished{BergerM:timAsypc-full,
       author =      {Martin Berger},
       title =   {The Timed Asynchronous $\pi$-Calculus:
     Basic Theory of Reduction Congruence},
       note =    {In preparation. Draft available at \texttt{http://www.dcs.qmul.ac.uk/\~{}martinb/publications/fsttcs02-full.ps.gz}}
     }


     @Unpublished{BergerM:timasynpicrc,
       author =      {Martin Berger},
       title =   {The {T}imed {A}synchronous $\pi$-{C}alculus: {B}asic {T}heory of {R}eduction {C}ongruence},
       note =    {In preparation}
     }


     @Unpublished{BergerM:twolpc,
       author =       {Martin Berger},
       title =        {2-Level $\pi$-Calculi},
       note =         {Unpublished note, Available upon request from the author},
       month =        {April},
       year =         1999
     }

     @Unpublished{BergerM:twolpc2,
       author =       {Martin Berger},
       title =        {2-Level $\pi$-Calculi (2)},
       note =         {Unpublished note, Available upon request from the author},
       month =        {April},
       year =         1999
     }




     @Unpublished{BergerM:twolpcfdst,
       author =       {Martin Berger and Kohei Honda},
       title =        {2-Level $\pi$-calculi for Distributed Systems (3)},
       note =         {Draft, Available upon request from the authors},
       month =        {May},
       year =         {1999},
     }


     @Unpublished{BergerM:twophacpiaepc-full,
       author =       {Martin Berger and Kohei Honda},
       title =        {The {T}wo-{P}hase {C}ommit {P}rotocol in an {E}xtended $\pi$-Calculus},
       note =         {Full version of \cite{MartinB:twophacpiaepc}. In preparation}
     }


     @unpublished{BergerM:typfmm,
       author =       {Martin Berger},
       title =        {Types For Memory Management},
       note =         {Available upon request from the author},
       month =        {October},
       year =         1999
     }




     @Article{BergstraJA:algcp,
       author =       {Jan A.~Bergstra and Jan Willem Klop},
       title =        {Algebra of Communicating Processes},
       journal =      {Theoretical Computer Science},
       year =         1985,
       volume =       37,
       pages =        {77--121}
     }

     @Book{BergstraJA:hanproa,
       editor =       {Jan A. Bergstra and Alban Ponse and Scott A. Smolka},
       title =        {{H}andbook of {P}rocess {A}lgebra},
       year =         2001,
       publisher =    {Elsevier}
     }

     @Misc{short:BergstraJA:hanproa,
       author =       {Jan A. Bergstra and Alban Ponse and Scott A. Smolka},
       title =        {{H}andbook of {P}rocess {A}lgebra}
     }

     @Article{BernadoM:tutempatocownppat,
       author =      {Marco Bernardo and Roberto Gorrieri},
       title =   {A {T}utorial on {EMPA}: {A} {T}heory of {C}oncurrent {P}rocesses with {N}ondeterminism, {P}riorities, {P}robabilities and {T}ime},
       journal =     {TCS},
       year =    1998
     }

     @Article{BernardoM:theocpwnppat,
       title={A tutorial on~{EMPA}: A theory of concurrent processes with nondeterminism, priorities, probabilities and time},
       author={Marco Bernardo and Roberto Gorrieri},
       pages={1--54},
       journal=tcs,
       year=1998,
       volume=202,
       number={1--2},
       note={Tutorial},
     }


     @Book{BernsteinPA:concrd,
       author =       {Philip A.~Bernstein and Vassos Hadzilacos and Nathan Goodman},
       ALTeditor =    {},
       title =        {Concurrency Control and Recovery in Database Systems},
       publisher =    {Addison-Wesley},
       year =         {1987},
       OPTkey =       {},
       OPTvolume =    {},
       OPTnumber =    {},
       OPTseries =    {},
       OPTaddress =   {},
       OPTedition =   {},
       OPTmonth =     {},
       OPTnote =      {},
       OPTannote =    {}
     }


     @Article{BerryG:cheabsm,
       author =       {G\'erard  Berry and G\'erard Boudol},
       title =        {The {C}hemical {A}bstract {M}achine},
       journal =      {TCS},
       year =         1992,
       volume =       96,
       pages =        {217--248}
     }


     @Book{BlackburnP:modlog,
       author =       {Patrick Blackburn and Maarten de Rijke and Yde Venema},
       title =        {Modal Logic},
       year =         2001,
       publisher =    {Cambridge University Press}
     }


     @Misc{short:BlackburnP:modlog,
       author =       {Patrick Blackburn and Maarten de Rijke and Yde Venema},
       title =        {Modal Logic}
     }

     @techreport{BoSa96,
       author = {Michele Boreale and Davide Sangiorgi},
        title = {Some Congruence Properties for  $\pi$-calculus Bisimilarities},
        year = {1996},
        institution = {{INRIA}-Sophia Antipolis},
        number = {{RR}-2870},
        note = {Available
             electronically as {\tt
             ftp://ftp.dcs.ed.ac.uk/pub/sad/congruence96.ps.gz} }
     }

     @inproceedings{BoSa97,
        author = {Boreale, M. and Sangiorgi, D.},
        title = {Bisimulation in name-passing calculi
            without matching},
        booktitle = lics98,
        year = {1998},
        publisher = {{IEEE} Computer Society Press}
     }


     @article{BoSa98tcs,
        author = {Boreale, M. and Sangiorgi,  D.},
        title = {Some Congruence Properties for  $\pi$-calculus Bisimilarities},
        journal = tcs,
        year = {1998},
        volume= {198},
        pages = {159--176},
        comment = {Appeared as {INRIA} {Tec.} {R}ep. {RR}-2870, 1996.}
     }

     @article{BonnerAJ:anootl,
       author =       {Anthony J.~Bonner and Michael Kifer},
       title =        {An Overview of Transaction Logic},
       journal =      {Theoretical Computer Science},
       year =         1994,
       volume =       133,
       pages =        {205--265}
     }

     @InProceedings{BonnerAJ:conacitl,
       author =       {Anthony J.~Bonner and Michael Kifer},
       title =        {Concurrency and Communication in Transaction Logic},
       booktitle =    {Proceedings of the Joint International Conference
     and Symposium on Logic Programming (JICSLP)},
       pages =        {142--156},
       year =         1996,
       publisher =    {MIT Press}
     }

     @InProceedings{BonnerAJ:tradaclftp,
       author =       {Anthony J.~Bonner},
       title =        {Transaction Datalog: a Compositional Language for Transaction Programming},
       booktitle =    {Proceedings of the Sixth International Workshop on Database Programming Languages (DBPL)},
       pages =        {373--395},
       year =         1997,
       number =       1369,
       series =       {LNCS},
       month =        {August},
       publisher =    {Springer}
     }

     @inproceedings{BorealeM:fulasfcinpc,
        author = {Boreale, M. and Sangiorgi, D.},
        title = {A fully abstract semantics for causality in the  $\pi$-calculus},
        year = {1995},
        booktitle = {Proc.\ 12th {S}ymposium on
               {T}heoretical {A}spects of {C}omputer {S}cience {(STACS'95)}},
         series = LNCS,
        publisher = {Springer},
          editor =  {Mayr, E.W. and   Puech, C.},
          volume = {900},
     note = {To appear in {\em Acta Informatica}}
     }

     @techReport{BoudolG:aynatpic,
       author =       {Gerard Boudol},
       title =        {Asynchrony and the pi-calculus},
       institution =  {INRIA},
       year =         1992,
       number =       1702
     }

     @InProceedings{BoudolG:picalids,
       author =      {G\'erard Boudol},
       title =   {The pi-calculus in direct style},
       booktitle =   {Proc.~POPL'97},
       year =    1997
     }




     @InProceedings{BHY02,
      author =   {Martin Berger and Kohei Honda and Nobuko Yoshida},
      title =    {Genericity and
      the $\pi$-Calculus},
      booktitle =    {Proc.~FoSSaCs'03},
      year =     2003,
      number =   2620,
      series =   {LNCS}
    }

    @inproceedings{BORNAT,
     author = {Richard Bornat},
     title = {Proving Pointer Programs in Hoare Logic},
     booktitle = {Proc.~Conf.~on Mathematics of Program Construction},
     year = {2000},
     series = {LNCS},
     publisher = {Springer-Verlag},
     }

     @Proceedings{CONCUR90,
       booktitle = {CONCUR~'90: Theories of Concurrency: Unification and Extension},
       editor    = {J. C. M. Baeten and J. W. Klop},
       address   = {Amsterdam, The Netherlands},
       year      = 1990,
       series    = LNCS,
       volume    = 458,
       publisher = {Springer},
       crossrefonly=1
     }


     @InProceedings{CarboneM:exppowopsipc,
       author =      {Marco Carbone and Sergio Maffeis},
       title =   {On the Expressive Power of Polyadic Synchronisation in Pi-Calculus},
       booktitle =   {Proc.~EXPRESS'02},
       volume =  68,
       series =  {ENTCS},
       year =    2002
     }

     @Misc{short:CarboneM:exppowopsipc,
       author =      {Marco Carbone and Sergio Maffeis},
       title =   {On the Expressive Power of Polyadic Synchronisation in Pi-Calculus}
     }

     @Article{CardelliL:mobamb,
    author = {Luca Cardelli and Andrew D.
                 Gordon
  },
   title = {Mobile Ambients},
   journal = {Theoretical Computer Science},
   volume = {240},
   number = {1},
   pages = {177-213},
   year = {2000},
   note={Special Issue on Coordination, D. Le M{\'e}tayer Editor},

}



     @TechReport{CardelliL:pollamcwtt,
       author =       {Luca Cardelli},
       title =        {A polymorphic lambda-calculus with {T}ype:{T}ype},
       institution =  {Digital Equipment Corporation Systems Research Center},
       year =         1986,
       month =        {May},
       note =         {SRC Research Report 10}
     }
     }

     @Article{CardelliL:undtypdaap,
       author =       {Luca Cardelli and Peter Wegner},
       title =        {On understanding types, data abstraction, and polymorphism},
       journal =      {Computing Surveys},
       year =         1985,
       volume =       17,
       number =       4,
       pages =        {471-522}
     }

     @InCollection{CastellaniI:proalgwl,
       author =      {Ilaria Castellani},
       title =   {Process Algebras with Localities},
       booktitle =   {\emph{\cite{BergstraJA:hanproa}}},
       publisher =   {North-Holland},
       year =    2001,
       chapter =     15
     }

     @InProceedings{CattaniGL:higdts,
       author =       {Gian-Luca Cattani and Vladimiro Sassone},
       title =        {Higher Dimensional Transition Systems},
       booktitle =    {Proceedings of the Eleventh Annual IEEE Symposium on
               Logic in Computer Science},
       pages =        {55-62},
       year =         1996,
       organization = {IEEE Computer Society Press}
     }

     @InProceedings{CharronBostB:revsafalitcof,
       author =       {Bernadette Charron-Bost and Sam Toueg and Anindya Basu},
       title =        {Revisiting Safety and Liveness in the Context of Failures},
       booktitle =    {Proceedings of CONCUR'2000},
       pages =        {552--565},
       year =         2000,
       editor =       {Catuscia Palamidessi},
       number =       1877,
       series =       {LNCS},
       publisher =    {Springer}
     }


     @InProceedings{CheritonDR:undthelimofatoc,
       author =       {David R.~Cheriton and Dale Skeen},
       title =        {Understanding the limitations of causally and totally ordered communication},
       booktitle =    {Proceedings of the 11th ACM Symposium on Operating System Principles},
       pages =        {44-57},
       year =         1993,
       month =        {December}
     }


     @InProceedings{ClarkeD:overepe,
       author =       {D. G. Clarke and R. J. Noble and J. M. Potter},
       title =        {Overcoming Representation Exposure},
       booktitle =    {Proceedings of the Intercontinental Workshop on Aliasing in Object Oriented Systems at ECOOP '99 },
       year =         1999
     }




     @InProceedings{ClarkeDG:owntypffap,
       author =       {D. G. Clarke and J. M. Potter and  R. J. Noble},
       title =        {Ownership Types for Flexible Alias Protection},
       booktitle =    {Proceedings of OOPSLA'98},
       year =         1998
     }

     @Book{ClarkeEM:modche,
       author =       {Edmund M. Clarke, Jr. and Orna Grumberg and Doron A. Peled},
       title =        {Model Checking},
       publisher =    {MIT Press},
       year =         {2000}
     }


     @Article{CopelandJB:beyunitm,
       author =      {B.~Jack Copeland and R.~Sylvan},
       title =   {Beyond the Universal Turing Machine},
       journal =     {Australasian Journal of Philosophy},
       year =    {1998}
     }

     @Misc{CopelandJB:chutt,
       author =       {B. Jack Copeland},
       title =        {The {C}hurch-{T}uring {T}hesis},
       howpublished = {Entry in the Stanford Encyclopedia of Philosophy, http://plato.stanford.edu/entries/church-turing/ }
     }





     @Article{CoquandT:calofc,
       author =       {Thierry Coquand and G\'erard P.~Huet},
       title =        {The Calculus of Constructions},
       journal =      {Inf.~\& Comp.},
       year =         1988,
       volume =       76,
       number =       {2/3},
       pages =        {95--120}
     }



     @Book{CoulorisG:dissys,
       author =       {George Couloris and Jean Dollimore and Tim Kindberg},
       title =        {Distributed Systems, Concepts and Design},
       publisher =    {Addison-Wesley},
       year =         2001
     }

     @Book{CutlandN:com,
       author =       {Nigel Cutland},
       title =        {Computability: an introduction to recursive function theory},
       publisher =    {Cambridge University Press},
       year =         1980
     }




     @Book{CzarneckiK:genpro,
       author =       {Krzysztof Czarnecki and Ulrich Eisenecker},
       title =        {Generative Programming: Methods, Tools, and Applications},
       publisher =    {Addison-Wesley},
       year =         2000
     }

     @Book{DavisM:comcomal,
       author =       {Martin Davis and Elene Weyuker},
       title =        {Computability, Complexity, and Languages},
       publisher =    {Academic Press},
       year =         1983
     }

     @InProceedings{DeganoP:mobprowlc,
       author =      {Pierpaolo Degano and Jean-Vincent Loddo and Corrado Priami},
       title =   {Mobile Processes with Local Clocks},
       booktitle =   {Proc.~of the Workshop on Analysis and Verification of Multiple-Agent Languages},
       year =    1996
     }


     @InProceedings{DeganoP:nonisfmp,
       author =       {Pierpaolo Degano and Corrado Priami},
       title =        {Non-Interleaving Semantics for Mobile Processes},
       booktitle =    {???},
       OPTcrossref =  {},
       OPTkey =       {},
       OPTpages =     {},
       OPTyear =      {},
       OPTeditor =    {},
       OPTvolume =    {},
       OPTnumber =    {},
       OPTseries =    {},
       OPTaddress =   {},
       OPTmonth =     {},
       OPTorganization = {},
       OPTpublisher = {},
       OPTnote =      {},
       OPTannote =    {}
     }

     @InProceedings{DeganoP:protre,
       author =       {Pierpaolo Degano and Corrado Priami},
       title =        {Proved Trees},
       booktitle =    {Proceedings of ICALP'92},
       pages =        {629--640},
       year =         1992,
       editor =       {W. Kuich},
       number =       623,
       series =       {LNCS},
       publisher =    {Springer}
     }


     @TechReport{ElnozahyEN:asurorrpimps,
       author =       {Elmootazbellah N. Elnozahy and David B. Johnson and Yi-Min Wang},
       title =        {A Survey of Rollback-Recovery Protocols in Message-Passing Systems},
       institution =  {School of Computer Science, Carnegie Mellon University},
       year =         1996,
       number =       {CMU-CS-96-181}
     }



     @InProceedings{EneC:brobascfcs,
       author =      {Cristian Ene and Traian Muntean},
       title =   {A {B}roadcast-{B}ased {C}alculus for {C}ommunicating {S}ystems},
       booktitle =   {Workshop on Formal Methods for Parallel Programming},
       year =    2001
     }


     @InProceedings{EneC:expopoitpvbc,
       author =      {Cristian Ene and Traian Muntean},
       title =   {Expressiveness of Point-to-Point versus Broadcast Communications},
       booktitle =   {Proc.~FCT'99},
       year =    1999,
       series =  {LNCS}
     }


     @PhdThesis{ErringtonL:twisys,
       author =       {Lindsay Errington},
       title =        {Twisted Systems},
       school =       {Imperial College},
       year =         1999
     }

     @article{FaGrMaSa90,
        author = {Fachini, E. and Gruska, J. and
               Maggiolo-Schettini, A. and
              Sangiorgi, D.},
         title = {Simulation     of Systolic Tree Automata on Trellis Automata},
           journal = {International Journal of
               Foundations of Computer Science},
         year = {1990},
           volume = {1},
        pages = {87--110}
      }

     @article{FaMaReSa89,
        author = {Fachini, E. and Maggiolo-Schettini, A. and Resta, G. and
              Sangiorgi, D.},
        title = {Some        Structural  Properties of Systolic Tree Automata},
        journal = {Fundamenta Informaticae},
        year = {1989},
          volume = {XII},
          pages = {571--585}
       }

     @article{FaMaReSa91,
        author = {Fachini, E. and Maggiolo-Schettini, A. and Resta, G. and
              Sangiorgi, D.},
        title = {Non         Acceptability Criteria and Closure Properties
              for the Class of   Languages Accepted by Binary Systolic  Tree
             Automata},
          journal = tcs,
         year = {1991},
           volume = {83},
        pages = {249--260}
      }

     @inproceedings{FaMaSa90,
        author = {Fachini, E. and
               Maggiolo-Schettini, A. and
              Sangiorgi, D.},
       title = {Comparisons among    Classes of Y-Tree Systolic Automata},
        year = {1990},
        booktitle = {Proc.\ {MFCS'90}},
         series = LNCS,
        publisher = sv,
          volume = {452},
          pages = {254--260}
     }

     @article{FaMaSa92,
        author = {Fachini, E. and
               Maggiolo-Schettini, A. and
              Sangiorgi, D.},
        title = {Classes of Y-Tree Systolic Automata and
              Regular  Systolic Trellis Automata},
        journal = acta,
        year = {1992},
        volume = {29},
         pages =   {623--643}
     }


     @Book{BoergerE:absstam,
      author =       {Egon B\"orger and Robert St\"ark},
       title =        {Abstract State Machines: A Method for High-Level System Design and Analysis},
       publisher =    {Springer},
       year =         2003,
     }


    @article{MoggiE:notocam,
     author = {Eugenio Moggi},
     title = {Notions of computation and monads},
     journal = {Inf.~\& Comp.},
     volume = {93},
     number = {1},
     year = {1991},
     pages = {55--92}
     }

     @inproceedings{FiMoSa96,
        author = {Fiore, M. and Moggi, E. and Sangiorgi, D.},
        title = {A Fully-Abstract Model for the $\pi$-calculus},
        booktitle = lics96,
        year = {1996},
        publisher = {{IEEE} Computer Society Press}
     }


     @InProceedings{FioreM:gamforrt,
       author =       {Marcelo Fiore and Kohei Honda},
       title =        {Games for Recursive Types},
       booktitle =    {LICS'98},
       year =         1998,
       organization = {IEEE},
       publisher =    {IEEE Computer Society Press}
     }




     @InProceedings{FlattM:claamix,
       author =       {Matthew Flatt and  S.~Krishnamurthi and Matthias Felleisen},
       title =        {Classes and Mixins},
       booktitle =    {Proceedings of POPL'98},
       year =         1998
     }


     @Book{FlynnM:opesysaac,
       editor =       {Michael J. Flynn and Jim Gray and Anita K. Jones and Klaus Lagally and H. Opderbeck and Gerald J. Popek and Brian Randell and Jerome H. Saltzer and Hans R\"diger Wiehle},
       title =        {Operating Systems, An Advanced Course},
       publisher =    {Springer},
       year =         1978,
       volume =       60,
       series =       {LNCS}
     }

     @Misc{FournetC:bisitjoic,
       author =       {Cedric Fournet and Cosimo Laneve},
       title =        {Bisimulations in the Join-Calculus},
       howpublished = {To appear in \emph{Theoretical Computer Science}}
     }

     @InProceedings{FournetC:calma,
         author          = {C{\'e}dric Fournet  and Georges Gonthier
         and  Jean-Jaques L{\'e}vy and  Luc Maranget
         and  Didier R{\'e}my},
         title           = {A {C}alculus of {M}obile {A}gents},
         booktitle       = {Proc.~CONCUR},
       volume =  1119,
       series =  {LNCS},
         year            = 1996,
     }

     @Misc{short:FournetC:calma,
         author          = {C{\'e}dric Fournet  and Georges Gonthier
         and  Jean-Jaques L{\'e}vy and  Luc Maranget
         and  Didier R{\'e}my},
         title           = {A {C}alculus of {M}obile {A}gents}
     }




     @InProceedings{FournetC:hieeac,
       author =       {C\'edric Fournet and Georges Gonthier},
       title =        {A Hierarchy of Equivalences for Asynchronous Calculi},
       booktitle =    {Proc.~ICALP'98},
       year =         1998,
       number =  1443,
       series =  {LNCS}
     }


     @misc{short:FournetC:hieeac,
       author =       {C\'edric Fournet and Georges Gonthier},
       title =        {A Hierarchy of Equivalences for Asynchronous Calculi}
     }

     @PhdThesis{FournetC:joicalacfdmp,
       author =       {C{\'e}dric Fournet},
       title =        {The Join-Calculus: a Calculus for Distributed Mobile Programming},
       school =       {Ecole Polytechnique},
       year =         {1998}
     }

     @inProceedings{Fusion,
       author =       {Joachim Parrow and Bj\"orn Victor},
       title =        {The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes},
       booktitle =    {LICS'98},
       year =         1998
     }

     @InCollection{GallierJH:ongircdr,
       author =       {Jean H.~Gallier},
       title =        {On {G}irard's ``{C}andidats de {R}eductibilit\'e''},
       booktitle =    {Logic and Computer Science},
       pages =        {123--203},
       publisher =    {Academic Press Limited},
       year =         1990
     }

     @Book{GammaE:desp,
       author =       {Erich Gamma and Richard Helm and Ralph Johnson and John Vlissides},
       title =        {Design Patterns: Elements of Reusable Design},
       publisher =    {Addison Wesley},
       year =         1995
     }

     @phdthesis{GaySJ:lintcp,
       author =       {Simon J. Gay},
       title =        {Linear Types for Communicating Processes},
       school =       {University of London},
       year =         {1995}
     }


     @InProceedings{GaySJ:sorinfaftppc,
       author =       {Simon J.~Gay},
       title =        {A Sort Inference Algorithm for the Polyadic Pi-Calculus},
       booktitle =    {Proc.~POPL'93},
       year =         1993
     }

     @inproceedings{GaySJ:typcsp,
       author =       {Simon J. Gay and Rajagopal Nagarajan},
       title =        {A Typed Calculus of Synchronous Processes},
       crossref =     {LICS'10}
     }

     @PhdThesis{GirardJY:intfoneedcdlados,
       author =       {Jean-Yves Girard},
       title =        {Interpr\'etation Fonctionnelle et \'Elimination des Coupures de l'Arithm\'etique d'Ordre Sup\'erieur},
       school =       {Universite de Paris VII},
       year =         1972
     }

     @article{GirardJY:linlog,
         author          = {Jean-Yves Girard},
         title           = {Linear Logic},
         journal         = {TCS},
         volume          = 50,
         pages          = {1--102},
         year            = 1987}

     @Article{GirardJY:locsol,
       author =      {Jean-Yves Girard},
       title =   {Locus Solum: From the rules of logic to the logic of rules},
       journal =     {MSCS},
       year =    2001,
       volume =  11,
       number =  3
     }


     @Book{GirardJY:protyp,
       author =       {Jean-Yves Girard and Yves Lafont  and Paul Taylor},
       title =        {Proofs and Types},
       publisher =    {CUP},
       year =         1989,
       volume =       7,
       series =       {Cambridge Tracts in Theoretical Computer Science}
     }

     @InProceedings{GordonA:typefffacp,
       author =      {Andy Gordon and Alan Jeffrey},
       title =   {Types and effects for asymmetric cryptographic protocols},
       booktitle =   {Proc.~CSFW 2002},
       year =    2002
     }

     @Book{GoslingJ:javlans,
       author =       "James Gosling and Bill Joy and Guy Steele",
       title =        "The Java Language Specification",
       publisher =    "Addison Wesley",
       year =         "1996",
       keywords =     "olit oopl java scglib",
     }

     @PhdThesis{GoubaultE:geocon,
       author =       {Eric Goubault},
       title =        {The {G}eometry of {C}oncurrency},
       school =       {\'Ecole Polytechnique},
       year =         1995
     }

     @Article{GoubaultE:geoconaug,
       author =       {Eric Goubault},
       title =        {Geometry and Concurrency: A User's Guide},
       journal =      {MSCS},
       year =         2000,
       volume =       10,
       number =       4
     }

     @Book{GraetzerG:unialg,
       author =       {George Gr\"atzer},
       title =        {Universal Algebra},
       publisher =    {Springer},
       year =         1979,
       address =      {Berlin, Heidelberg, New York},
       edition =      {2$^{\text{nd}}$}
     }

     @misc{GrayJ:notondatbos,
         author = "Jim Gray",
         title = "Notes on Data Base Operating Systems",
         text = "Jim Gray, Notes on Data Base Operating Systems,  in Operating Systems,
           An Advanced Course, Springer-Verlag (1979).",
       pages =        "393--481",
         year = "1979"
     }

     @Book{GrayJ:trapro,
       author =  {Jim Gray and Andreas Reuter},
       title =   {Transaction {p}rocessing: {c}oncepts and {t}echniques},
       publisher =   {Morgan Kaufmann},
       year =    1993
     }

     @book{GunterCA:semprol,
         author          = {Carl A.~Gunter},
         title           = {Semantics of Programming Languages},
         publisher       = {MIT Press},
         year            = 1995}

     @InProceedings{HY,
       author =       {Kohei Honda and Nobuko Yoshida},
       title =        {A Uniform Type Structure for Secure Information Flow},
       booktitle =    {POPL'02},
       publisher =    {ACM Press},
       pages =        {81--92},
       note =         {Full version available at www.doc.ic.ac.uk/$\tilde{\ }$yoshida, Revised in June 2004, 84 pages},
       year =         2002
     }


     @misc{short:HY,
       author =       {Kohei Honda and Nobuko Yoshida},
       title =        {A Uniform Type Structure for Secure Information Flow}
     }


     @Book{HalsallF:datccnaos,
       author =       {Fred Halsall},
       title =        {Data Communications, Computer Networks and Open Systems},
       publisher =    {Addison Wesley},
       year =         1996
     }

     @Article{HennessyM:alglawfndac,
       author =      {Matthew Hennessy and Robin Milner},
       title =   {Algebraic {L}aws for {N}on-{D}eterminism and {C}oncurrency},
       journal =     {JACM},
       year =    1985,
       volume =  32,
       number =  1
     }

     @Misc{short:HennessyM:alglawfndac,
       author =      {Matthew Hennessy and Robin Milner},
       title =   {Algebraic {L}aws for {N}on-{D}eterminism and {C}oncurrency}
     }

     @article{HennessyM:biscbs,
       author       = {Matthew Hennessy and Julian Rathke},
       title        = {Bisimulations for a calculus of broadcasting systems},
       journal      = {Theoretical Computer Science},
       volume       =  200,
       number       = {1--2},
       month        = {28~June},
       year         =  1998,
       pages        = {225--260},
       source       = {http://theory.lcs.mit.edu/~dmjones/hbp/tcs/tcs.bib}}

     @Article{HennessyM:proaftc,
       refkey  = {C1202},
       title   = {A Process Algebra for Timed Systems},
       author  = {Matthew Hennessy and Tim Regan},
       pages   = {221--239},
       journal = {Inf.~\& Comp.},
       month   = mar,
       year    = 1995,
       volume  = 117,
       number  = 2,
     }





    @Misc{BOLOGNA,
       author = {Robin Milner},
       title = {{S}peech on {r}eceiving an {H}onorary {D}egree from the {U}niversity of {B}ologna, {ICALP}'97},
       booktitle = {http://www.cs.unibo.it/icalp/Lauree\_milner.html},
       year = {1997}
    }



    @InProceedings{Grossman02,
      author =       {Dan Grossman},
      title =        {Existential Types for Imperative Languages},
      booktitle =    {ESOP02},
      year =         2002,
      series =       {LNCS 2305},
      pages =       {21--35},
      publisher =    {Springer}
    }

    @InProceedings{HVY,
    author = {Kohei Honda and Vasco Vasconcelos and Nobuko Yoshida},
    title = {Secure Information Flow as Typed Process Behaviour},
    booktitle =   {ESOP'00},
    pages=  {180--199},
    series =   {LNCS},
    number = {1782},
    year = {2000}
    }

    @InProceedings{HY04PPDP,
      author =       {Kohei Honda and Nobuko Yoshida},
      title =        {A Compositional Logic for Polymorphic Higher-Order Functions},
      booktitle =    {Proc.~PPDP'04},
      year =         2004,
      publisher = {ACM Press}
    }

    @inproceedings{AbadiM:acorcod,
     author = {Mart{\'\i}n Abadi and Anindya Banerjee and Nevin Heintze and Jon G.~Riecke},
     title = {A core calculus of dependency},
     booktitle = {Proc.~26th POPL},
     year = {1999},
     publisher = {ACM Press}
     }


    @Misc{HASKELL,
     author = {},
     title = {{H}askell homepage},
     howpublished = {http://haskell.org}
    }

    @Misc{METAML,
     author = {},
     title = {{M}eta{ML} homepage},
     howpublished = {http://www.cse.ogi.edu/PacSoft/projects/metaml}
    }


    @Misc{Java,
      author = {Sun {M}icrosystems {I}nc.},
      title =    {{J}ava homepage},
      howpublished = {http://www.javasoft.com/}
    }

    @Misc{Voyager,
      author = {Recursion Software {I}nc.},
      title =    {Voyager Java Development Platform},
      howpublished = {http://www.recursionsw.com/voyager.htm}
    }



    @Misc{Microsoft:NET,
      author = {Microsoft Corporation},
      title =    {{.NET} {F}ramework {D}eveloper's {G}uide},
      howpublished = {http://msdn.microsoft.com/net}
    }

    @Misc{Ecma,
      author = {{ECMA} International},
      title =    {{ECMA} and {ISO} {C\#} and Common Language Infrastructure standards},
      howpublished = {http://msdn.microsoft.com/net/ecma}
    }



    @Misc{JML,
      author = {},
      title =    {The {J}ava {Mo}deling {L}anguage ({J}{M}{L}) homepage},
      howpublished = {http://www.jmlspecs.org/}
    }

    @Misc{CMINUSMINUS,
      author = {},
      title = {C-- homepage},
      howpublished = {http://www.cminusminus.org}
    }

    @Misc{FLINT,
      author = {},
      title =    {The  {F}lint Project},
      howpublished = {http://flint.cs.yale.edu/flint/people/}
    }

    @article{Grimm:Bershad:01,
     author = {Robert Grimm and Brian N. Bershad},
     title = {Separating access control policy, enforcement, and functionality in extensible systems},
     journal = {ACM Trans. Comput. Syst.},
     volume = {19},
     number = {1},
     year = {2001},
     pages = {36--70},
     publisher = {ACM Press},
     }

    @article{VolpanoD:asoutsfsfa,
     author = {Dennis Volpano and Cynthia Irvine and Geoffrey Smith},
     title = {A sound type system for secure flow analysis},
     journal = {J.~Comput.~Secur.},
     volume = {4},
     number = {2,3},
     year = {1996},
     pages = {167--187},
     publisher = {IOS Press},
     }

    @techreport{HennessyM:timproaat,
    author = {Matthew Hennessy},
    title = {Timed process algebras: a tutorial},
    institution = {University of Sussex, Computer Science Department},
    number = {CS 1993:02},
    year = {1993}
    }




    @InProceedings{HennessyRathke,
      author =       {Matthew Hennessy and Julian Rathke},
      title =        {Typed Behavioural Equivalencies for Processes
              in the Presence of Subtyping},
      booktitle =    {COGS Technical Paper},
      year =         2001,
      volume =       02
    }


    @book{HerkenR:uniturmahco,
        editor    = {Rolf Herken},
        title     = {The Universal Turing Machine: a Half-Century Survey},
        publisher = {Springer},
        year      = 1995
    }

    @book{agentbook,
        author    ={Knapik, M. and Johnson, J.},
        title     = {Developing Intelligent Agents for Distributed Systems},
        publisher = {McGraw Hill},
        year = 1998
    }




    @Book{HoareC:ComSP,
      author =       {Tony Hoare},
      ALTeditor =    {},
      title =        {Communicating Sequential Processes},
      publisher =    {Prentice Hall},
      year =         {1985},
      OPTkey =       {},
      OPTvolume =    {},
      OPTnumber =    {},
      OPTseries =    {},
      OPTaddress =   {},
      OPTedition =   {},
      OPTmonth =     {},
      OPTnote =      {},
      OPTannote =    {}
    }

    @InProceedings{Honda96,
      author =       {Kohei Honda},
      title =        {{Composing Processes}},
      booktitle =    {POPL'96},
      pages =        {344--357},
      year =         1996,
      publisher = {ACM Press},
      editor ={Steele, Guy L.},
    }


    @Article{HondaK:asmacalfco,
      author =       {Kohei Honda and Mario Tokoro},
      title =        {A Small Calculus for Concurrent Objects},
      journal =      {OOPS Messenger},
      year =         1991,
      volume =   2,
      number =   2,
      pages =    {50--54}
    }

    @InProceedings{HondaK:asycs,
      author =   {Kohei Honda and Mario Tokoro},
      title =    {On asynchronous communication semantics},
      booktitle =    {Object-Based Concurrent Computing},
      year =     1992,
      number =   {612,},
      series =   {LNCS}
    }


    @Article{HondaK:elestr,
      author =       {Kohei Honda},
      title =        {Elementary {S}tructures for {P}rocess {T}heory (1): {S}ets with {R}enaming},
      journal =      {MSCS},
      year =         2001,
      pages =    {50--54}
    }

    @Unpublished{HondaK:notlintffo,
      author =   {Kohei Honda},
      title =    {Notes on {L}inear {T}yping for {F}ree {O}utput},
      note =     {Draft},
      year =     2001
    }

    @inproceedings{HondaTokoro91,
      author =       {Kohei Honda and Mario Tokoro},
      title =        {An Object Calculus for Asynchronous Communication},
      booktitle = {ECOOP'91},
      pages     = {133-147},
      year = {1991},
  series    = {LNCS},
  volume    = {512}
    }

    @Article{HondaKYoshida95,
      author =       {Kohei Honda and Nobuko Yoshida},
      title =        {On Reduction-Based Process Semantics},
      journal =      {TCS},
      year =         1995,
      volume =       151,
  number    = {2},
  pages     = {437-486},
}

    @InProceedings{HondaK:secinffatpb,
      author =       {Kohei Honda and Vasco T.~Vasconcelos and Nobuko Yoshida},
      title =        {Secure Information Flow as Typed Process Behaviour},
      booktitle =    {Proc.~ESOP'99},
      year =         2000
    }

    @Unpublished{HondaK:somncpic,
      author =       {Kohei Honda},
      title =        {Some New Constructs for the $\pi$-Calculus Needed
    when Describing Distributed Systems},
      note =         {Unpublished note},
      month =        {April},
      year =         1999
    }


    @TechReport{HondaK:twobinc,
      author =       {Kohei Honda},
      title =        {Two bisimilarities in $\nu$-calculus},
      institution =  {Keio University, Department of Computer Science},
      year =         1992,
      number =       {92-002}
    }



    @InProceedings{HondaK:typdyi,
      author =       {Kohei Honda},
      title =        {{Types for Dyadic Interaction}},
      editor    = {Eike Best},
      booktitle =    {CONCUR'93},
      pages =        {509--523},
      year =         1993,
      volume =       715,
      series =       lncs,
      publisher =    springer
    }



    @Unpublished{HondaK:typftpc,
      author =       {Kohei Honda},
      title =        {Types for the $\pi$-Calculus},
      note =         {http://www.dcs.qmul.ac.uk/\~{}kohei}
    }

    @Article{HondaKgamtheaocbyc:,
      author =   {Kohei Honda and Nobuko Yoshida},
      title =    {Game-Theoretic Analysis of Call-by-Value Computation},
      journal =      {TCS},
      year =     1999,
      volume =   221,
      pages =    {393--456}
    }

    @InProceedings{HondaKgamtheaocbycea,
      author =   {Kohei Honda and Nobuko Yoshida},
      title =    {Game-Theoretic Analysis of Call-by-Value Computation (Extended Abstract)},
      booktitle =    {Proc.~of ICALP'97},
      year =     1997,
      series =   {LNCS},
      publisher =    {Springer Verlag}
    }

    @InProceedings{HughesDJD:gamdeffsf,
      author =       {Dominic J.~D.~Hughes},
      title =        {Games and definability for system {F}},
      booktitle =    {LICS'97},
      pages =        {76--86},
      year =         1997,
      organization = {IEEE Computer Society Press}
    }

    @InProceedings{HuttelH:migca,
      author =       {Hans H\"uttel and Josva Kleist and  Massimo Merro and Uwe Nestmann},
      title =        {Migration = Cloning ; Aliasing},
      booktitle =    {Proc.\ of FOOL 6},
      year =         1999,
      month =        {January},
      note =         {Also available as BRICS Report Series}
    }

    @Article{HylandJME:fulapi,
      author =       {Hyland, J. Martin E. and Ong, C. H. Luke},
      title =        {On Full Abstraction for {PCF}},
      journal =      {Inf.~\& Comp.},
      year =         2000,
      volume =       163,
      pages =        {285--408}
    }


    @InProceedings{JategaonkarL:cauatc,
      author =       {Lalita Jategaonkar Jagadeesan and Radha Jagadeesan},
      title =        {Causality and True Concurrency: A Data-flow Analysis of the $\pi$-Calculus},
      booktitle =    {Proceedings of AMAST'95},
      OPTcrossref =  {},
      OPTkey =       {},
      OPTpages =     {},
      OPTyear =      {},
      OPTeditor =    {},
      OPTvolume =    {},
      OPTnumber =    {},
      OPTseries =    {},
      OPTaddress =   {},
      OPTmonth =     {},
      OPTorganization = {},
      OPTpublisher = {},
      OPTnote =      {},
      OPTannote =    {}
    }

    @Book{JustW:dismodst,
      author =       {Winfried Just and Martin Weese},
      title =        {Discovering Modern Set Theory},
      publisher =    {AMS},
      year =         1996
    }

    @InProceedings{KPT96,
      author =       {Naoki Kobayashi and Benjamin Pierce and David Turner},
      title =        {Linear Types and $\pi$-calculus},
      booktitle =    {POPL'96},
      pages =        {358--371},
      year =         1996,
      publisher = {ACM Press}
    }

    @InProceedings{KickM:biamodotp,
      author =   {Marco Kick},
      title =    {Bialgebraic {M}odelling of {T}imed {P}rocesses},
      booktitle =    {Proc.~ICALP'02},
      year =     2002
    }

    @InProceedings{KickM:rulforftp,
      author =   {Marco Kick},
      title =    {Rule {F}ormats for {T}imed {P}rocesses},
      booktitle =    {Proc.~CMCIM'02},
      year =     2002
    }

    @inproceedings{KlSa98,
       author = {Kleist, J. and Sangiorgi, D.},
       title = {Imperative Objects and  Mobile Processes},
       booktitle = {Proc.\ {IFIP} {W}orking {C}onference on
                   {P}rogramming {C}oncepts and
                {M}ethods  ({PROCOMET}'98)},
       year = {1998},
      publisher = {North-Holland},
    }

    @Book{KnuthD:conmat,
      author =       {Ronald Graham and Oren Patashnik and Donald E.~Knuth},
      title =        {Concrete Mathematics: A Foundation for Computer Science},
      publisher =    {Addison-Wesley},
      year =         1994
    }

    @Book{KunenK:setthe,
      author =       {Kenneth Kunen},
      title =        {Set Theory: An Introduction to Independence Proofs},
      publisher =    {North-Holland},
      year =         1980
    }

    @Proceedings{LICS1,
      title =        {Proceedings, Symposium on Logic in Computer Science},
      booktitle =    {Proceedings, Symposium on Logic in Computer Science},
      year =         1986,
      organization = {IEEE Computer Society},
      crossrefonly = 1,
      comment =      {IEEE Computer Society Order Number 720; Library of
              Congress Number 86-81090; IEEE Catalog Number
              86CH2321-8; ISBN 0-8186-0720-3}
    }


    @Proceedings{LICS10,
      title =        {Proceedings, Tenth Annual IEEE Symposium on Logic in
              Computer Science},
      booktitle =    {Proceedings, Tenth Annual IEEE Symposium on Logic in
              Computer Science},
      year =         1995,
      organization = {IEEE Computer Society Press},
      crossrefonly = 1
    }


    @Proceedings{LICS2,
      title =        {Proceedings, Symposium on Logic in Computer Science},
      booktitle =    {Proceedings, Symposium on Logic in Computer Science},
      year =         1987,
      organization = {The Computer Society of the IEEE},
      crossrefonly = 1,
      comment =      {Computer Society Order Number 793; Library of
              Congress Number 87-45360; IEEE Catalog Number
              87CH2464-6; ISBN 0-8186-0793-9; SAN 264-620X}
    }

    @Proceedings{LICS3,
      title =        {Proceedings, Third Annual Symposium on Logic in
              Computer Science},
      booktitle =    {Proceedings, Third Annual Symposium on Logic in
              Computer Science},
      year =         1988,
      organization = {IEEE Computer Society},
      crossrefonly = 1,
      comment =      {Computer Society Order Number 853; Library of
              Congress Number 88-45439; IEEE Catalog Number
              88CH2608-8; ISBN 0-8186-0853-6}
    }

    @Proceedings{LICS4,
      title =        {Proceedings, Fourth Annual Symposium on Logic in
              Computer Science},
      booktitle =    {Proceedings, Fourth Annual Symposium on Logic in
              Computer Science},
      year =         1989,
      organization = {IEEE Computer Society Press},
      crossrefonly = 1,
      comment =      {IEEE Computer Society Order Number 1954; Library of
              Congress Number 89-83865; IEEE Catalog Number
              89CH2753-2; ISBN 0-8186-1954-6}
    }

    @Proceedings{LICS5,
      title =        {Proceedings, Fifth Annual IEEE Symposium on Logic in
              Computer Science},
      booktitle =    {Proceedings, Fifth Annual IEEE Symposium on Logic in
              Computer Science},
      year =         1990,
      organization = {IEEE Computer Society Press},
      crossrefonly = 1,
      comment =      {IEEE Computer Society Order Number 2073; Library of
              Congress Number 89-641304; IEEE Catalog Number
              90CH2897-7; ISBN 0-8186-2073-0}
    }

    @Proceedings{LICS6,
      title =        {Proceedings, Sixth Annual IEEE Symposium on Logic in
              Computer Science},
      booktitle =    {Proceedings, Sixth Annual IEEE Symposium on Logic in
              Computer Science},
      year =         1991,
      organization = {IEEE Computer Society Press},
      crossrefonly = 1,
      comment =      {IEEE Computer Society Order Number 2230; Library of
              Congress Number 89-641304; IEEE Catalog Number
              91CH3025-4; ISBN 0-8186-2231-8}
    }

    @Proceedings{LICS7,
      title =        {Proceedings, Seventh Annual IEEE Symposium on Logic
              in Computer Science},
      booktitle =    {Proceedings, Seventh Annual IEEE Symposium on Logic
              in Computer Science},
      year =         1992,
      organization = {IEEE Computer Society Press},
      crossrefonly = 1
    }

    @Proceedings{LICS8,
      title =        {Proceedings, Eighth Annual IEEE Symposium on Logic
              in Computer Science},
      booktitle =    {Proceedings, Eighth Annual IEEE Symposium on Logic
              in Computer Science},
      year =         1993,
      organization = {IEEE Computer Society Press},
      crossrefonly = 1
    }

    @Proceedings{LICS9,
      title =        {Proceedings, Ninth Annual IEEE Symposium on Logic in
              Computer Science},
      booktitle =    {Proceedings, Ninth Annual IEEE Symposium on Logic in
              Computer Science},
      year =         1994,
      organization = {IEEE Computer Society Press},
      crossrefonly = 1
    }

    @Article{LamportL:byzgp,
      author =       {Leslie Lamport and R.~Shostak and M.~Pease},
      title =        {The Byzantine Generals Problem},
      journal =      {ACM Transactions on Programming Languages and Systems},
      year =         1982,
      volume =       4,
      number =       3,
      pages =        {382--401},
      month =        {July}
    }

    @Article{LamportL:timcloatooeiads,
      author =       {Leslie Lamport},
      title =        {Time, clocks, and the ordering of events in a distributed system},
      journal =      {Communications of the ACM},
      year =         {1978},
      volume =       {21},
      number =       {7},
      pages =        {558--564},
      month =        {July}
    }



    @inproceedings{LampsonB:anewprecoftpc,
      author    = {Butler W. Lampson and
               David B. Lomet},
      editor    = {Rakesh Agrawal and
               Se{\'a}n Baker and
               David A. Bell},
      title     = {A New Presumed Commit Optimization for Two Phase Commit},
      booktitle = {19th International Conference on Very Large Data Bases, August
               24-27, 1993, Dublin, Ireland, Proceedings},
      publisher = {Morgan Kaufmann},
      year      = {1993},
      isbn      = {1-55860-152-X},
      pages     = {630-640},
      bibsource = {DBLP, http://dblp.uni-trier.de}
    }


    @string{tcs = {Theoretical Computer Science}}

    @InProceedings{LampsonB:refopesd,
      author =       {Butler W. Lampson and Howard E. Sturgis},
      title =        {Reflections on an Operating System Design},
      booktitle =    {Fifth ACM Symposium on Operating Systems Principles},
      pages =        {19--21},
      year =         1975,
      month =        {November}
    }

    @TechReport{Lazic,
      author = {R.S. Lazic and T.C. Newcomb and A.W. Roscoe},
      title =  {On model checking data-independent systems with arrays without reset},
      institution =  {Oxford University},
      year =         2001,
      number =       {RR-02-02}
    }

    @inproceedings{LeSa90,
       author = {Lengauer, C. and
             Sangiorgi, D.},
      title = {An Improved Systolic Array for
          String Correction},
       year = {1992},
       booktitle = {Proc.\ Advanced Research Workshop on Correct Hardware
             Design  Methodologies},
       publisher = {Elsevier},
         pages = {205--218},
    editor ={Prinetto, P.  and  Camurati  P.}
    }


    @InProceedings{LeiferJ:derbiscfrs,
      author =       "James J. Leifer and Robin Milner",
      title =        "Deriving bisimulation congruences for reactive
             systems",
      booktitle =    "Proc.~CONCUR'2000",
      year =         2000
    }

    @PhdThesis{Leroy:thesis,
      author =       {Xavier Leroy},
      title =        {Polymorphic typing of an algorithmic language},
      school =       {University of Paris},
      year =         1992
    }


    @Book{LewisB:mulpt,
      author =       {Bil Lewis and Daniel J. Berg},
      ALTeditor =    {},
      title =        {Multithreaded Programming with Pthreads},
      publisher =    {Sun Microsystems},
      year =         {1998},
      OPTkey =       {},
      OPTvolume =    {},
      OPTnumber =    {},
      OPTseries =    {},
      OPTaddress =   {},
      OPTedition =   {},
      OPTmonth =     {},
      OPTnote =      {},
      OPTannote =    {}
    }


    @Book{LippmanS:inscppom,
      author =       {Stanley B.~Lippman},
      title =        {Inside the C++ Object Model},
      publisher =    {Addison-Weseley},
      year =         1996
    }

    @InCollection{LongoG:diffbetcatm,
      author =   {Giuseppe Longo},
      title =    {The difference between Clocks and Turing Machines},
      booktitle =    {Functional Models of Cognition},
      publisher =    {Kluwer},
      year =     1999,
      editor =   {Arturo Carsetti}
    }

    @PhdThesis{LopesLMB:desimpoavmfpc,
      author =   {Lu{\'\i}s Miguel Barros Lopes},
      title =    {On the Design and Implementation of a Virtual Machine for Process Calculi},
      school =   {Departamento de Ci?cia de Computadores, FCUP},
      year =     1999
    }

    @Book{LynchN:atotra,
      author =       {Nancy Lynch, Alan Fekete, William Weihl someone Else},
      title =        {Atomic transactions},
      publisher =    {Morgan Kaufmann Publishers},
      year =         {1994}
    }


    @Book{LynchN:disalg,
      author =   {Nancy Lynch},
      title =    {Distributed Algorithms},
      publisher =    {Morgan Kaufmann},
      year =     1996
    }

    @Book{MacLaneS:Catfwm,
      author =       {Saunders Mac Lane},
      title =        {Categories for the Working Mathematician},
      publisher =    {Springer},
      year =         1971,
      address =      {Berlin}
    }

    @Article{MartiOlietN:rewlograb,
      author =       {Narciso Mart{\'\i}-Oliet and Jos{\'e} Meseguer},
      title =        {Rewriting {L}ogic: {R}oadmap and {B}ibliography},
      journal =      {TCS},
      year =         2001,
    }

    @InProceedings{MartinB:twophacpiaepc,
      author =       {Martin Berger and Kohei Honda},
      title =        {The {T}wo-{P}hase {C}ommit {P}rotocol in an {E}xtended $\pi$-{C}alculus},
      booktitle =    {Proc.~EXPRESS'00},
      volume =   39,
      series =   {ENTCS},
      year =         2000
    }

    @inproceedings{MerroM:asynampc,
       author = {Massimo Merro  and Davide Sangiorgi},
       booktitle = {Proc.~ICALP'98},
       title = {On asynchrony in name-passing calculi},
       year = {1998}
    }

    @InProceedings{MerroM:expcufc,
      author =       {Massimo Merro},
      title =        {On the Expressiveness of Chi, Update and Fusion calculi},
      booktitle =    {Proc.\ of EXPRESS'98},
      year =         1998,
      volume =       {16.2},
      series =       {Electronic Notes in Theoretical Computer Science},
      month =        {September}
    }

    @Book{MeyerB:eiftlan,
      author =       {Bertrand Meyer},
      title =        {Eiffel: The Language},
      publisher =    {Prentice Hall},
      year =         1992
    }

    @Book{MeyerB:objorisc,
      author =       {Bertrand Meyer},
      title =        {Object-Oriented Software Construction},
      publisher =    {Prentice Hall},
      year =         {1997}
    }


    @Book{MeyersS:moreffcpp,
      author =       {Scott Meyers},
      title =        {More Efficient C++},
      publisher =    {Addison Wesley},
      year =         {1996}
    }


    @inproceedings{MiSa92,
       author = {Robin Milner and Davide Sangiorgi},
       title = {Barbed Bisimulation},
       booktitle = icalp92,
       year = {1992},
         series = lncs,
         volume = {623},
         pages = {685--695},
         editor = {Kuich, W.},
         publisher = sv
    }



    @Misc{MillsD:timsyns,
      key =      {NTP},
      author =   {Dave Mills},
      title =    {Time Synchronization Server},
      howpublished = {URL http://www.eecis.udel.edu/$\tilde{\,}$ntp/}
    }

    @inproceedings{MilnerR:actcp,
    author = {Robin Milner},
    title = {Action Calculi and the $\pi$-Calculus},
    booktitle = {Proceedings of the NATO Summer School on Logic and Computation},
    publisher = {Springer},
    year = {1993} }

    @techreport{MilnerR:acts,
    author = {Robin Milner},
    title = {Action Structures},
    institution = {Laboratory for Foundations of Computer Science,
    Department of Computer Science, University of Edinburgh},
    number = {92-249},
    year = {1993} }



    @techreport{MilnerR:actsp,
    author = {Robin Milner},
    title = {Action Structures for the $\pi$-Calculus},
    institution = {Department of Computer Science, University of Edinburgh},
    number = {93-264},
    year = {1993} }

    @inproceedings{MilnerR:actssp,
    author = {Robin Milner},
    title = {An Action Structure for the Synchronous $\pi$-Calculus},
    booktitle = {Proceedings of FCT'93},
    publisher = {Springer},
    series = {LNCS},
    volume = {710},
    year = {1993},
    pages = {87--105} }

    @InProceedings{MilnerR:barbis,
      author =       {Robin Milner and Davide Sangiorgi},
      title =        {Barbed bisimulation},
      booktitle =    {Proc.~ICALP'92},
         series = lncs,
         volume = {623},
      year =         {1992}
    }

    @book{MilnerR:calcs,
        author    = {Milner, Robin},
        title     = {A Calculus of Communicating Systems},
        series    = {Lecture Notes in Computer Science},
        volume    = {92},
        publisher = {Springer},
        address   = {Berlin},
        year      = {1980},
        pages     = {vi+171}
    }

    @techreport{MilnerR:calmp,
    author = {Robin Milner and Joachim Parrow and David Walker},
    title = {A calculus of mobile processes},
    institution = {Laboratory for Foundations of Computer Science,
    Department of Computer Science, University of Edinburgh},
    year = {1989} }


    @article{MilnerR:calmp1,
    author = {Robin Milner and Joachim Parrow and David Walker},
    title = {{A Calculus of Mobile Processes, Parts {I} and {II}}},
    journal = {Info.\& Comp.},
    year = {1992},
    volume = {100},
    number = {1}
    }

    @article{MilnerR:calsa,
    author={Robin Milner},
    title={Calculi for Synchrony and Asynchrony},
    journal={Theoretical Computer Science},
    year=1983,
    pages={267--310},
    volume=25}


    @article{MilnerR:coirs,
    author = {Robin Milner and M. Tofte},
    title = {Co-induction in Relational Semantics},
    journal = {Theoretical Computer Science},
    year = {1991},
    volume = {87},
    pages = {209--220} }


    @book{MilnerR:comc,
    author={Robin Milner},
    title={Communication and Concurrency},
    publisher={Prentics Hall},
    year=1989}

    @Book{MilnerR:commspc,
      author        = {Robin Milner},
      title         = {Communicating and Mobile Systems: the $\pi$-Calculus},
      publisher     = {Cambridge University Press},
      year          = {1999}
    }

    @book{MilnerR:comsm,
    author={Robin Milner and M. Tofte},
    title={Commentary on Standard ML},
    publisher={MIT Press},
    year=1991}

    %Publisher

    @string{ap="Academic Press"}
    @string{cup="Cambridge University Press"}
    @string{mcgh="Mc Graw-Hill"}
    @string{nh="North Holland"}
    @string{sv="Springer"}
    @string{aw="Addison-Wesley"}
    @string{ph="Prentice Hall"}
    @string{mp="The {MIT} {P}ress"}

    % Institutions-Schools

    @string{cmum="Carnegie-Mellon Univ., Dept. of Math."}
    @string{cucs="Cornell Univ., Dept. of Comp. Sci."}
    @string{eth="E.T.H. Zurich"}
    @string{eucs="Edinburgh Univ., Dept. of Comp. Sci."}
    @string{mit="Massachusetts Institute of Technology"}
    @string{lfcs="{LFCS}, Dept. of Comp. Sci.,  Edinburgh Univ."}

    % Organizations

    @string{acm="ACM"}
    @string{ieee="IEEE"}
    @string{bl="Bell Laboratories"}

    % Journals

    @string{acta="Acta Informatica"}
    @string{acmsigp="{ACM} Sigplan Notices"}
    @string{a&l="Algebra and Logic"}
    @string{aml="Annals of Mathematical Logic"}
    @string{amstran="Trans. AMS"},
    @string{au="Algebra Universalis"}
    @string{cmsjb="Colloquia Mathematica Societatis Janos Bolyai"},
    @string{dm="Dissertationes Mathematicae"}
    @string{fm="Fundamenta Matematicae"}
    @string{ic="Inf.~\& Comp."}
    @string{im="Indagationes Mathematicae"}
    @string{jcss="JCSS"}
    %@string{jmscs="Journal of Mathematical Structures in Computer Science"}
    @string{jmscs="MSCS"}
    @string{jpaa="Journal of Pure and Applied Algebra"}
    @string{jsl="Journal of Symbolic Logic"}
    @string{mpcps="Math. Proc. Camb. Phil. Soc."}
    @string{mst="Mathematical System  Theory"}
    @string{rmup="Rivista Matematica dell' Universita' di Parma"}
    @string{siamjc="SIAM Journal of Computing"}
    @string{tpls="ACM Trans. on Progr. Lang. and Sys."}
    %@string{tcs="Theoretical Computer Science"}
    @string{tcs="TCS"}
    @string{zml="Zeitschrift fur Mathematische Logik"}
    @string{zmlgm="Zeitschr. f. math. Logik und Grundlagen d. Math."}

    % Series


    @string{lnm="Lecture Notes in Mathematics"}
    @string{csam="Cambridge Studies in Advanced Mathematics"}
    @string{sl="Studies in Logic"}

    % Collections

    @string{ash="Applications of Sheaves"}
    @string{asls82="Atti della Scuola di Logica di Siena, 1982"}
    @string{bcs="The L.E.J. Brouwer Centenary Symposium"}
    @string{hbc="To H.B. Curry: essays in Combinatory Logic,
            lambda calculus and Formalisms"}
    @string{hml="Handbook of Mathematical Logic"}
    @string{hphl="Handbook of Philosophical Logic"}



    %Proceedings

    @string{caap85="CAAP '85"}
    @string{cics89="Category in Computer Science '89"}

    @string{conc90="1st {CONCUR}"}
    @string{conc91="2nd {CONCUR}"}
    @string{conc92="3rd {CONCUR}"}
    @string{conc98="9th {CONCUR}"}
    @string{esop86="ESOP '86"}
    @string{fcs22="22th Symp. on Foundations of Computer Science"}
    @string{fcs25="25th Symp. on Foundations of Computer Science"}
    @string{icalp9="9th Colloquium on Automata, Languages and Programming"}
    @string{icalp85="12th {ICALP}"}
    @string{icalp88="15th {ICALP}"}
    @string{icalp92="19th {ICALP}"}
    @string{icalp97="24th {ICALP}"}
    @string{icalp98="25th {ICALP}"}
    @string{lc73="Logic Colloquium '73"}
    @string{lc75="Logic Colloquium '75"}
    @string{lc82="Logic Colloquium '82"}
    @string{lp83="Logics of Programs '83"}
    @string{lp84="Logics of Programs '84"}
    @string{lp85="Logics of Programs '85"}
    @string{lics1="1st LICS Conf."}
    @string{lics2="2nd LICS Conf."}
    @string{lics3="3rd LICS Conf."}
    @string{lics4="4th LICS Conf."}
    @string{lics7="7th LICS Conf."}
    @string{lics92="7th LICS Conf."}
    @string{lics93="8th LICS Conf."}
    @string{lics96="11th LICS Conf."}
    @string{lics98="13th LICS Conf."}
    @string{mfcs84="MFCS '84"}
    @string{mfcs86="MFCS '86"}
    @string{mfcs89="MFCS '89"}
    @string{popl1="1st POPL"}
    @string{popl4="4th POPL"}
    @string{popl6="6th POPL"}
    @string{popl10="10th POPL"}
    @string{popl11="11th POPL"}
    @string{popl12="12th POPL"}
    @string{popl13="13th POPL"}
    @string{popl14="14th POPL"}
    @string{popl15="15th POPL"}
    @string{popl17="17th POPL"}
    @string{popl24="24th POPL"}
    @string{ps74="Programming Symposium '74"}
    @string{sls2="2nd Scandinavian Logic Symp."}
    @string{stacs86="{STACS} '86"}
    @string{stacs88="{STACS} '88"}
    @string{tapsoft87="{TAPSOFT} '87"}
    @string{tapsoft89="{TAPSOFT} '89"}

    @article{MilnerR:conps,
    author={G. Milne and Robin Milner},
    title={Concurrent processes and their Syntax},
    journal={Journal of the ACM},
    year=1979,
    volume=26,
    number=2,
    pages={302--321}}

    @unpublished{MilnerR:cons1,
    author = {Alex Mifsud and Robin Milner and John Power},
    title = {Control Structures {I}},
    year = {1994},
    month = {June},
    note = {{D}raft} }

    @unpublished{MilnerR:cons2,
    author = {Robin Milner},
    title = {Control Structures {II}: Naming Monoids},
    year = {1994},
    month = {June},
    note = {{D}raft} }

    @book{MilnerR:defostaML,
        author = "Robin Milner and Mads Tofte and Robert W. Harper",
        title = "The Definition of Standard {ML}",
        publisher = "MIT Press",
        year = "1990"
    }

    @book{MilnerR:defsm,
    author={Robin Milner and M. Tofte and R. Harper},
    title={The Definition of Standard ML},
    publisher={MIT Press},
    year=1990}

    @article{MilnerR:eleoi,
      author =       {Robin Milner},
      title =        {Elements of Interaction},
      journal =      {CACM},
      year =         1993,
      volume =       36,
      number =       1
    }

    @techreport{MilnerR:findos,
    author = {Robin Milner},
    title = {A Finite Delay Operator in Synchronous CCS},
    institution = {Department of Computer Science, University of Edinburgh},
    year = {1982} }

    @article{MilnerR:fulamt,
    author={Robin Milner},
    title={Fully Abstract Models of Typed Lambda-Calculi},
    journal={Theoretical Computer Science},
    volume=4,
    year=1977,
    pages={1--22}}

    @article{MilnerR:funp,
    author = {Robin Milner},
    title = {Functions as Processes},
    journal = {MSCS},
    year = {1992},
    volume = {2},
    number = {2},
    pages = {119--141} }

    @inproceedings{MilnerR:funp-icalp,
    author={Robin Milner},
    title={Functions as Processes},
    booktitle={Proc.~of ICALP'90},
    pages={167--180},
    publisher={Springer},
    series={LNCS},
    volume=443,
    year=1990}

    @inproceedings{MilnerR:lecccs,
    author={Robin Milner},
    title={Lectures on a Calculus for Communicating Systems},
    booktitle={Seminar on Concurrency},
    year=1985,
    publisher={Springer},
    address={Berlin},
    editor={S. D. Brookes and A. W. Roscoe and G. Winskel},
    pages={197--221},
    note={Lecture Notes in Computer Science Vol. 197}}

    @inproceedings{MilnerR:modcom,
    author={Robin Milner},
    title={A Modal Characterisation of Observable Machine Behaviours},
    booktitle={CAAP `81},
    year=1981,
    editor={G. Astesiano and C. B\"ohm},
    pages={25--34},
    publisher={Springer},
    address={Berlin},
    note={Lecture Notes in Computer Science Vol. 112}}

    @inproceedings{MilnerR:polpt,
    author = {Robin Milner},
    title = {The Polyadic $\pi$-Calculus: A Tutorial},
    booktitle={Proceedings of the International Summer School on
    Logic Algebra of Specification},
    publisher={Marktoberdorf},
    year = {1992}
    }

    @inproceedings{MilnerR:proci,
    author={Robin Milner},
    title={Process Constructors and Interpretations},
    booktitle={Information Processing 86},
    year=1986,
    publisher={Elsevier Science Publishers B. V. (North Holland)},
    editor={H.-J. Kugler},
    pages={507--514}
    }

    @incollection{MilnerR:prommc,
    author={Robin Milner},
    title={Processes, a mathematical model of computing agents},
    booktitle={Logic Colloquium, Bristol 1973},
    year=1975,
    publisher={North Holland},
    pages={157--174},
    address={Amsterdam}}

    @InProceedings{MilnerR:somumf,
    author={Robin Milner},
    title={Some Uses of Maximal Fixed Points (Abstract of Invited Lecture)},
    pages={3},
    crossref={LICS1},
    abstract={The notions of indistinguishability and ``lack of
    discrepancy'' are captured by maximal fixed points.  Results in
    concurrent processes and operational semantics will be discussed.}
    }

    @article{MilnerR:thetpp,
    author={Robin Milner},
    title={A Theory of Type Polymorphism in Programming},
    journal={Journal of Computer and System Sciences},
    volume={17},
    year=1978}

    @Book{MitchellJC:fouforpl,
      author =       {John C.~Mitchell},
      title =        {Foundations for Programming Languages},
      publisher =    {MIT Press},
      year =         1996
    }

    @InProceedings{MitchellJC:representation,
      author =       {John C.~Mitchell},
      title =        {On the equivalence of data representation},
      booktitle =    {Artificial Intelligence and Mathematical Theory of Computation},
      year =         1991
    }


    @article{MohanC:tramanitrsddm,
      author    = {C. Mohan and
               Bruce G. Lindsay and
               Ron Obermarck},
      title     = {Transaction Management in the  {R}* Distributed Database Management
               System},
      journal   = {TODS},
      volume    = {11},
      number    = {4},
      year      = {1986},
      pages     = {378-396},
      bibsource = {DBLP, http://dblp.uni-trier.de}
    }


    @InProceedings{MollerF:temcocs,
      title    = {A Temporal Calculus of Communicating Systems},
      author   = {Faron Moller and Chris Tofts},
      pages    = {401--415},
      booktitle =    {Proc. of CONCUR'90},
      year =         1990,
      series =       {lncs},
      publisher =    {sv},
      note =         {(extended abstract)}
    }

    @Article{MontanariU:Consftpc,
      author =       {Ugo Montanari and Marco Pistore},
      title =        {Concurrent Semantics for the $\pi$-calculus},
      journal =      {Electronic notes in Computer Science},
      year =         1995,
      number =       1
    }

    @Book{MoschovakisY:notsett,
      author =       {Yiannis N.~Moschovakis},
      title =        {Notes on Set Theory},
      publisher =    {Springer},
      year =         1994
    }

    @Book{MullenderS:dissys,
      editor =       {Sape Mullender},
      title =        {Distributed Systems},
      publisher =    {Addison-Wesley},
      year =         1993
    }

    @InProceedings{MurawskiAS:evogamenfap,
      author =       {Andrzej Murawski  and Chih-Hao Luke  Ong},
      title =        {Evolving games and essential nets for affine polymorphism},
      booktitle =    {Proc.~of TLCA'01},
      year =         2001,
      series =       {LNCS},
      number =       2044,
      publisher =    {Springer}
    }

    @InProceedings{SSa,
      author =       {Andrei  Sabelfield and David Sand},
      title =        { A per model of secure information flow in sequential programs},
      booktitle =    {Proc.~of ESOP'99},
      year =         1999,
      series =       {LNCS},
      number =       1576,
      publisher =    {Springer}
    }

@InProceedings{GH,
title =        {{Types and Subtypes for Client-Server Interactions}},
booktitle =    {ESOP'99},
      year =         1999,
      series =       lncs,
      volume =       1576,
      publisher =    springer,
      author =      {Simon Gay and Malcolm Hole},
      pages={74-90},
}

@Article{GH05,
   author =       {Simon Gay and Malcolm Hole},
   title =        {{Subtyping for Session Types in the Pi-Calculus}},
   journal =      {Acta Informatica},
   year =         2005,
   volume =       42,
   number= {2/3},
   pages =        {191--225}
 }

    @Article{MyersAC:lanbasifs,
      author =   {Andrew C.~Myers and Andrei Sabelfeld},
      title =    {Language-Based Information-Flow Security},
      journal =      {IEEE Journal on Selected Areas in Communication},
      year =     2002
    }




    @InCollection{NeedhamR:names,
      author =   {Roger Needham},
      title =    {Names},
      booktitle =    {\emph{\cite{MullenderS:dissys}}},
      pages =    {315--327},
      publisher =    {Addison-Wesley},
      year =     1993
    }


    @Book{NelsonG:sysprom,
      editor =       {Greg Nelson},
      title =        {Systems Programming with Modula-3},
      publisher =    {Prentice Hall},
      year =         1991,
      series =       {Prentice Hall Series in Innovative Technology}
    }



    @inproceedings{NestmannU:decce,
      author       = {Nestmann, Uwe and Pierce, Benjamin C.},
      title        = {Decoding Choice Encodings},
      booktitle    = {Proc.~ CONCUR'96},
      year         =  1996
    }



    @TechReport{NestmannU:whageg,
      author       = {Nestmann, Uwe},
      title        = {What Is a `Good' Encoding of Guarded Choice?},
      institution =  {BRICS},
      year         =  1997
    }




    @Article{NicollinX:algotpATP,
      title   = {The Algebra of Timed Processes, {A}{T}{P}: Theory and Application},
      author  = {Xavier Nicollin and Joseph Sifakis},
      pages   = {131--178},
      journal = {Inf.~\& Comp.},
      year    = {1994},
      volume  = {114},
      number  = {1}
    }






    @inProceedings{NobleJ:flealip,
      author =       {James Noble and Jan Vitek and John Potter},
      title =        {Flexible Alias Protection},
      booktitle =    {Proceedings of ECOOP'98},
      year =         1998
    }






    @book{OdifreddiP:clarect,
        author    = "Piergiorgio Odifreddi",
        title     = "Classical Recursion Theory",
        publisher = "North-Holland",
        year = "1989"
    }


    @TechReport{OmohundroS:tsatlanal,
      author =       {Stephen Omohundro and Chu-Cheow Lim},
      title =        {The Sather Language and Libraries},
      institution =  {International Computer Science Institute, Berkeley, Ca.},
      year =         1991,
      number =       {TR-92-017}
    }



    @article{PaSa95,
        author = {Parrow, J. and Sangiorgi, D.},
         title = {Algebraic Theories  for Name-Passing Calculi},
       journal = ic,
        volume = {120},
        number = {2},
        year = {1995},
         pages = {174--197},
      comment= {Short version in {\em {P}roc.\ {REX} {S}ummer
             {S}chool/Symposium 1993}, {LNCS} 803, {S}pringer {V}erlag}
    }


    @InProceedings{PalamidessiC:comepsapc,
      author =       {Catuscia Palamidessi},
      title =        {Comparing the expressive power of the Synchronous
              and the Asynchronous $\pi$-calculus},
      booktitle =    {Proc.~POPL},
      OPTcrossref =  {},
      OPTkey =       {},
      year =         {1997},
      OPTeditor =    {},
      OPTvolume =    {},
      OPTnumber =    {},
      OPTseries =    {},
      OPTaddress =   {},
      OPTmonth =     {},
      OPTpublisher = {},
      OPTnote =      {},
      OPTannote =    {}
    }

    @Book{PapadimitriouCH:comthe,
      author =   {Christos H. Papadimitriou},
      title =    {Complexity Theory},
      publisher =    {Addison Wesley},
      year =     1994
    }

    @InProceedings{PavlovicD:CCPS2,
      author =       "Dusko Pavlovic",
      title =        "Convenient categories of processes and simulations
              II: modulo weak and branching bisimilarities",
      booktitle =    "Theory and Formal Methods of Computing 96",
      editor =       "A.~Edalat et al.",
      publisher =    "World Scientific",
      pages =        "156--167",
      year =         "1996",
      url =        "ftp://ftp.cogs.susx.ac.uk/pub/users/duskop/CCPS2.ps.gz"
    }

    @InProceedings{PavlovicD:concps,
      author =       {Dusko Pavlovic},
      title =        {Convenient categories of processes and simulations
              I: modulo strong bisimilarity},
      booktitle =    {Category Theory and Computer Science '95},
      pages =        {3--24},
      year =         {1995},
      editor =       {D.~Pitt et al.},
      volume =       {953},
      series =       {LNCS},
      publisher =    {Springer},
    }

    @Book{PetersonJ:opesc,
      author =       {James L. Peterson and Abraham Silberschatz},
      ALTeditor =    {},
      title =        {Operating System Concepts},
      publisher =    {Addison-Wesley Publishing Company},
      year =         {1985},
      OPTkey =       {},
      OPTvolume =    {},
      OPTnumber =    {},
      OPTseries =    {},
      OPTaddress =   {},
      OPTedition =   {},
      OPTmonth =     {},
      OPTnote =      {},
      OPTannote =    {}
    }



    @Inproceedings{PiSa96,
       author =      {Pistore, M.  and Sangiorgi, D.},
       title = {A Partition Refinement Algorithm for the $\pi$-calculus},
       series =      lncs,
       booktitle =   {Proc.\ CAV'96},
       year =        {1996},
          volume = {1102},
      pages= {38--49},
       publisher =   sv
    }

    @article{PiSa96b,
       author = {Pierce, B. and Sangiorgi, D.},
       title = {Typing and Subtyping for Mobile Processes},
       journal =jmscs,
       volume = {6},
       number = {5},
       pages = {409--454},
       year = {1996}
      }


    @Article{PiSa97,
      title   ={Behavioral Equivalence in the Polymorphic Pi-Calculus},
      author  = {Benjamin Pierce and Davide Sangiorgi},
      pages   = {531--584},
      journal = {Journal of ACM},
      year    = {2000},
      volume  = {47},
      number  = {3}
    }



    @article{PierceBC:behequippc,
    author       =   "Benjamin Pierce and Davide Sangiorgi",
    title        =   "Behavioral Equivalence in the Polymorphic
              Pi-Calculus",
    year         =   2000,
    journal      =   "Journal of the Association for Computing Machinery (JACM)",
    }

    @InProceedings{PierceBC:conopc,
      author =       {Benjamin C. Pierce and David N. Turner},
      title =        {Concurrent Objects in a Process Calculus},
      booktitle =    {???},
      OPTcrossref =  {},
      OPTkey =       {},
      OPTpages =     {},
      OPTyear =      {},
      OPTeditor =    {},
      OPTvolume =    {},
      OPTnumber =    {},
      OPTseries =    {},
      OPTaddress =   {},
      OPTmonth =     {},
      OPTorganization = {},
      OPTpublisher = {},
      OPTnote =      {},
      OPTannote =    {}
    }


    @book{PierceBC:typsysfpl,
    author       =   "Benjamin C. Pierce",
    title        =   "Types and Programming Languages",
    publisher    =   "MIT Press",
    year         =   2002
    }


    @InCollection{PierceTurner:PictDesign,
      author =       {Benjamin C. Pierce and David N. Turner},
      title =        {Pict: A Programming Language Based on the Pi-Calculus},
      booktitle =    {Proof, Language and Interaction: Essays in Honour of Robin Milner},
      publisher =    {MIT Press},
      year =         2000,
      editor =       {Gordon Plotkin and Colin Stirling and Mads Tofte}
    }



    @inproceedings{PittsAM:exityplraoe,
     author = {Andy M.~Pitts},
     Title = {Existential {T}ypes: {L}ogical {R}elations and {O}perational {E}quivalence},
     booktitle = {Proc.~ICALP'98},
     series = {LNCS},
     number = 1443,
     year = 1998}



    @Article{PittsAM:parpolaoe,
      author =       {Andy M.~Pitts},
      title =        {Parametric Polymorphism and Operational Equivalence},
      journal =      {Mathematical Structures in Computer Science},
      year =         2000,
      volume =       10
    }


    @Article{HOARE,
      author =   {Tony Hoare},
      title =    {An axiomatic basis of computer programming},
      journal =      {CACM},
      year =     1969,
      volume =   12
    }



    @InProceedings{SHORT1,
      author =   {Kohei Honda},
      title =    {From Process Logic to Program Logic},
      booktitle =    {Proc.~ICFP'04},
      year =     2004,
      publisher = {ACM Press},
      note =     {A short version of Sections 1--3 and 6 in \cite{LONG1}}
    }

    @Misc{TYPES,
      author =   {Kohei Honda},
      title =    {A Theory of Types for the $\pi$-calculus},
      howpublished = {Available at: www.dcs.qmul.ac.uk/$\tilde{\ }$kohei/logics},
      month =    {March},
      year =     2001
    }

    @InProceedings{LONGLEY,
      author =   {John Longley and Gordon Plotkin},
      title =    {Logical Full Abstraction and PCF},
      booktitle =    {Tbilisi Symposium on Logic, Language and Information},
      year =     1998,
      publisher =    {CLSI}
    }

    @InProceedings{FLOYD,
      author =   {Robert W.~Floyd},
      title =    {Assigning meaning to programs},
      booktitle =    {Proc.~Symp.~in Applied Mathematics},
      year =     1967,
      volume =   19
    }

    @InProceedings{REYNOLDS,
      author =   {John C.~Reynolds},
      title =    {Separation logic: a logic for shared mutable data structures},
      booktitle =    {Proc.~LICS'02},
      year =     2002
    }

    @Misc{LONG1,
      author =   {Kohei Honda},
      title =    {{P}rocess {L}ogic and {D}uality: {P}art (1)
    {S}equential {P}rocesses},
      howpublished = {Available at:
    www.dcs.qmul.ac.uk/$\tilde{\ }$kohei/logics},
      month =    {March},
      year =     2004,
      pages =        {234 pp},
      note =     {Typescript, 234 pages}
    }


    @Misc{SOUNDNESS,
      author =   {Kohei Honda},
      title =    {Sequential Process Logics: Soundness Proofs},
      howpublished = {Available at:
    www.dcs.qmul.ac.uk/$\tilde{\ }$kohei/logics},
      month =    {November},
      year =     2003,
      note =     {Typescript, 50 pages}
    }


    @inproceedings{PittsStark,
     author = {Andy M.~Pitts and Ian D.~B.~Stark},
     Title = {Operational Reasoning for Functions with Local State},
     booktitle = {HOOTS'98},
     series = {CUP},
     pages = {227--273},
     year = 1998}

    @InProceedings{PlotkinAbadi:logic,
      author =       {Gordon Plotkin and Mart{\'\i}n Abadi},
      title =        {A Logic for Parameteric Polymorphism},
      booktitle =    {LICS'98},
      pages =        {42--53},
      year =         1998,
      publisher =    {IEEE Press}
    }

    @Article{PlotkinGD:petnesdpi,
      author =       {Nielsen, Mogens and Plotkin, Gordon D. and Winskel, Glynn},
      title =        {Petri Nets, Event Structures and Domains, Part i},
      journal =      {TCS},
      year =         {1981},
      volume =       {13},
      number =       {1},
      pages =        {85--108}
    }


    @techreport{PlotkinGD:straos,
        author          = {Gordon D.~Plotkin},
        title           = {A structural approach to operational semantics},
        year            = 1981,
        institution     = {DAIMI, Aarhus University}}



    @InProceedings{PolyJ,
      author =       {PolyJ},
      title =        {Java with Parameterized Types},
      organization =    {http://www.pmg.lcs.mit.edu/polyj/}
    }

    @InProceedings{QuagliaP:onencppimp,
      author =       {Paola Quaglia and David Walker},
      title =        {On encoding p$\pi$ in m$\pi$},
      booktitle =    {Proc.~18th FST \& TCS},
      year =         1998
    }

    @InProceedings{RMmadioRM:anasymodolfapm,
      author =       {Roberto M.~Amadio},
      title =        {An asynchronous model of locality, failure, and process mobility},
      booktitle =    {Proceedings of COORDINATION 97},
      year =         1997,
      number =       1282,
      series =       {LNCS},
      note =         {Also Rapport Interne 216 LIM February 1997, and INRIA Research Report 3109}
    }

    @Article{ReedGM:timmfcsp,
      title   = {A Timed Model for Communicating Sequential Processes},
      author  = {G. M. Reed and A. W. Roscoe},
      pages   = {249--261},
      journal = {Theoretical Computer Science},
      year    = {1988},
      month   = {July},
      volume  = {58},
      number  = {1--3}
    }

    @Book{ReisigW:lecpetIbm,
      editor =       {Wolfgang Reisig and Grzegorz Rozenberg},
      title =        {Lectures on Petri Nets I: Basic Models},
      publisher =    {Springer},
      year =         1998
    }



    @Book{ReisigW:petnetai,
      author =       {Wolfgang Reisig},
      title =        {Petri {N}ets, an {I}ntroduction},
      publisher =    {Springer},
      year =         1985
    }

    @inproceedings{ReynoldsJ:typabspp,
    author = "John C.~Reynolds",
    title = "Types, Abstraction and Parametric Polymorphism",
    booktitle = "Information Processing 83",
    booksubtitle = "Proceedings of the IFIP 9th World Computer Congress",
    editor = "R.~E.~A.~Mason",
    year = "1983"
    }

    @Book{ReynoldsJC:theofpl,
      author =       {John C.~Reynolds},
      title =        {Theories of Programming Languages},
      publisher =    {Cambridge University Press},
      year =         1998
    }

    @InProceedings{PLOTKINABADI,
      author =   {Gordin Plotkin and Mart{\'\i}n Abadi},
      title =    {A Logic for Parametric Polymorphism},
      booktitle =    {Proc.~LICS'98},
      year =     1998
    }

    @inproceedings{REYNOLDSORG,
    author = "John C.~Reynolds",
    title = "Intuitionistic Reasoning about Shared Mutable Data Structure",
    year = "2000",
    booktitle = "Millennial Perspectives in Computer Science",
    booksubtitle = "Proceedings of the 1999 Oxford--Microsoft Symposium in Honour of Sir Tony Hoare"
    }



    @Article{GC,
      author =   {Cristiano Calcagno and Peter O'Hearn and Richard Bornat},
      title =    {Program Logic and Equivalence in the Presence of Garbage Collection},
      journal =      {TCS},
      year =     2003,
      volume =   298,
      number =   3
    }

    @InProceedings{OHEARN,
      author =   {Peter O'Hearn and Hongseok Yang and John C.~Reynolds},
      title =    {Separation and Information Hiding},
      booktitle =    {Proc.~POPL'04},
      year =     2004
    }

    @InProceedings{VOUILLONPAULANDRE,
      author =   {Vouillon, J. and Mellies, P.},
      title =        {Semantic Types: A Fresh Look at the Ideal Model for Types},
      booktitle =    {Proc.~POPL'04},
      pages     =    {52--63},
      year =     2004
    }

    @inproceedings{SPECIFICATION,
    author = "John C.~Reynolds",
    title = "Idealized {A}lgol and its Specification Logic",
    booktitle = "Tools and Notions for Program Construction",
    year = 1982
    }

    @InProceedings{WADLER,
      author =   {Philip Wadler},
      title =    {Theorems for Free},
      booktitle =    {Proc.~Functional Programming Languages and Computer Architecture},
      year =     1989
    }

    @Misc{LCF,
      author =   {Mike Gordon and Robin Milner and Christopher Wadsworth},
      title =    {Edinburgh {L}{C}{F}},
      howpublished = {LNCS 78, Springer Verlag},
      year =     78
    }

    @Article{Riely:disproalf,
      author =   {James Riely and Matthew Hennessy},
      title =    {Distributed processes and location failures},
      journal =      {TCS},
      year =     2001,
      volume =   226
    }





    @InProceedings{RielyJ:displf,
      author =       {James Riely and Matthew Hennessy},
      title =        {Distributed processes and location failures},
      booktitle =    {Automata, Languages and Programming, 24th International Colloquium},
      pages =        {471-481},
      year =         1997,
      editor =       {Pierpaolo Degano and  Robert Gorrieri and Alberto Marchetti-Spaccamela},
      volume =       1256,
      series =       {lncs},
      publisher =    {Springer}
    }

    @InProceedings{RielyJ:disproalfea,
      author =       {James Riely and Matthew Hennessy},
      title =        {Distributed processes and location failures (extended abstract)},
      booktitle =    {Proceedings of ICALP'97},
      year =         1997,
      editor =       {???},
      number =       {???},
      series =       {???},
      publisher =    {???}
    }

    @InProceedings{RielyJ:trupartiosoma,
      author =   {James Riely and Matthew Hennessy},
      title =    {Trust and Partial Typing in Open Systems of Mobile Agents},
      booktitle =    {Proc.~POPL 1999},
      year =     1999
    }

    @InProceedings{RielyJ:typlandmp,
      author =   {James Riely and Matthew Hennessy},
      title =    {A Typed Language for Distributed Mobile Processes},
      booktitle =    {Proc.~POPL 1998},
      year =     1998
    }

    @Article{RileyJ:resacccisoma,
      author =   {James Riely and Matthew Hennessy},
      title =    {Resource Access Control in Systems of Mobile Agents},
      journal =      {ENTCS},
      year =     1998,
      volume =   16,
      number =   3
    }




    @unpublished{RoSa99,
       author = {R\"ockl, C. and  Sangiorgi, D.},
       title = {A pi-calculus Semantics of {C}oncurrent {I}dealised {ALGOL}},
       note = {To appear in Proc.\ {Fossacs} 99, {S}pringer {V}erlag},
         year = {1999}
    }

    @Book{RoscoeAW:theapoc,
      author =       {A. W. Roscoe},
      title =        {The {T}heory and {P}ractise of {C}oncurrency},
      publisher =    {Prentics Hall},
      year =         1998
    }

    @inproceedings{SaMi92,
       author = {Sangiorgi, D. and Milner, R.},
       booktitle = {Proc.\ {CONCUR} '92},
       title = {The problem of ``{W}eak {B}isimulation up to''},
       publisher = sv,
        series = lncs,
       year = {1992},
         editor =  {Cleveland, W.R.},
         volume = {630},
         pages  = {32--46}
    }

    @article{SaltzerJH:endtoendaisd,
      author =       {Jerome Saltzer and David Reed and David Clark},
      title =        {End-to-End Arguments in System Design},
      journal =      {ACM Transactions in Computer Systems},
      year =         1984,
      volume =       2,
      number =       4,
      pages =        {277--288}
    }

    @inproceedings{San92,
       author = {Sangiorgi, D.},
       booktitle = lics92,
       title = {The Lazy Lambda Calculus in a Concurrency Scenario},
       year = {1992},
       pages = {102--109},
       publisher = {{IEEE} Computer Society Press}
    }

    @article{San93c,
       author = {Sangiorgi, D.},
       title = {Locality and Non-interleaving Semantics
      in Calculi for Mobile Processes},
       journal = tcs,
       year = {1996},
       volume= {155},
       pages = {39--83},
       comment = {An extract  appeared in  {\em {P}roc. {TACS} '94},
             Lecture Notes in Computer Science 789,
             Springer}
    }



    @inproceedings{San93cc,
       author = {Sangiorgi, D.},
       title = {From $\pi$-calculus to {H}igher-{O}rder $\pi$-calculus
             --- and back},
       booktitle = {Proc.\ {TAPSOFT}'93},
       year = {1993},
         series = lncs,
         volume = {668},
         editor = {Gaudel,M.-C. and Jouannaud, J.-P.},
         publisher = sv,
         pages = {151--166}
    }

    @inproceedings{San93d,
       author = {Sangiorgi, D.},
       title = {An investigation into Functions as Processes},
       booktitle = {Proc.\  Ninth International Conference on the
              {M}athematical {F}oundations of {P}rogramming
               {S}emantics  ({MFPS}'93)},
       year = {1993},
       series = lncs,
       volume = {802},
         publisher = sv,
         pages = {143--159}
       }


    @article{San94,
       author = {Sangiorgi, D.},
       journal = ic,
       title = {The Lazy Lambda Calculus in a Concurrency Scenario},
       year = {1994},
       volume = {111},
       number = {1},
     pages =   {120--153}
    }


    @inproceedings{San94b,
       author = {Sangiorgi, D.},
       title = {Bisimulation in higher-order calculi},
       booktitle = {Proc.\ {IFIP} {W}orking {C}onference on {P}rogramming
             {C}oncepts,  {M}ethods and {C}alculi ({PROCOMET}'94)},
       year = {1994},
      pages = {207--224},
      publisher = {North-Holland},
    }

    @article{San94sce,
       author = {Sangiorgi, D.},
       journal = ic,
       title = {The Lazy Lambda Calculus in a Concurrency Scenario},
       year = {1994},
       volume = {111},
       number = {1},
     pages =   {120--153},
    note = {A summary in Proc. {Lics}'92, {IEEE}.}
    }

    @unpublished{San95-BL,
       author = {Sangiorgi, D.},
       title = {L\'evy-{L}ongo {T}rees and {B}\"{o}hm {T}rees from encodings of $\lambda$-calculus into $\pi$-calculus },
       note = {Notes},
         year = {1995}
    }



    @techreport{San95H,
      author = {Sangiorgi, D.},
       title = {},
       year = {1995},
       institution = {INRIA-Sophia Antipolis},
       number = {RR-2508},
       note = {To appear in {\em Inf.~\& Comp.}.
          Revised version of the homonym paper appeared in the proc.\ {IFIP}
           {W}orking {C}onference on {P}rogramming {C}oncepts, {M}ethods
              and {C}alculi
           {(PROCOMET'94)}, {N}orth {H}olland, 1994}
    }

    @inproceedings{San95MFCS,
       author = {Sangiorgi, D.},
       title = {On  the  bisimulation proof method},
       year = {1995},
       booktitle = {Proc.\ {MFCS'95}},
        series = lncs,
       publisher = sv,
         editor =  {Wiedermann, J. and  H\'aiek, P.},
         volume = {969 },
         pages = {479--488},
        note = {Full version to appear in J.\  Math.\ Structures in Comp. Sci.}
    }

    @inproceedings{San95i,
       author = {Davide Sangiorgi},
       title = {$\pi${I}:  A Symmetric Calculus based on Internal Mobility},
       year = {1995},
       booktitle = {Proc.~{TAPSOFT'95}}
    }
    @inproceedings{San95ia,
       author = {Davide Sangiorgi},
       title = {Internal Mobility and Agent Passing Calculi},
       year = {1995},
       booktitle = {Proc.~ICALP`95}
    }
    @techreport{San95lazy,
      author = {Sangiorgi, D.},
       title = {Lazy functions and mobile processes},
       year = {1995},
       institution = {INRIA-Sophia Antipolis},
       number = {RR-2515},
       note = {To appear in    ``{F}estschrift volume in
    honor of {R}obin {M}ilner's 60th birthday'',  {MIT} {P}ress.}
    }
    @article{San96,
       author = {Sangiorgi, D.},
       title = {A Theory of Bisimulation for  the $\pi$-calculus},
       journal = {Acta {I}nformatica},
       year = {1996},
       volume={33},
       pages= {69--97},
       note = {An extract  appeared in  {\em {P}roc. {CONCUR} '93}, volume
             715 of Lecture Notes in Computer Science, Springer}
    }



    @unpublished{San96-FOOL,
       author = {Sangiorgi, D.},
       title = {Typed $\pi$-calculus at work: a proof of {J}ones's
      parallelisation transformation  on concurrent objects},
       note = {Presented at the Fourth Workshop on
             {F}oundations of {O}bject-{O}riented {L}anguages (FOOL 4).
           To {appear} in {\em {T}heory and
    {P}ractice of {O}bject-oriented {S}ystems}},
        year = {1997}
    }

    @article{San96H,
       author = {Sangiorgi, D.},
       journal = ic,
       title = {Bisimulation for {H}igher-{O}rder {P}rocess {C}alculi},
       year = {1996},
       volume = {131},
       number = {2},
     pages =   {141--178}
    }

    @techreport{San96OO,
      author = {Sangiorgi, D.},
       title = {An interpretation of Typed Objects
              into  Typed $\pi$-calculus},
       year = {1996},
       institution = {INRIA-Sophia Antipolis},
       number = {RR-3000},
       note = {To appear in {Information} and {C}omputation}
    }
    @article{San96acta,
       author = {Sangiorgi, D.},
       title = {A Theory of Bisimulation for  the $\pi$-calculus},
       journal = acta,
       year = {1996},
       volume = {33},
        pages =   {69--97},
       note = {An extract  appeared in  {\em {P}roc. {CONCUR} '93},
             Lecture Notes in Computer Science 715,
             Springer}
    }

    @article{San96int,
      author = {Sangiorgi, D.},
       title = {$\pi$-calculus,
            internal mobility and agent-passing calculi},
       year = {1996},
       journal = tcs,
       volume = {167},
       number = {2},
       pages = {235--274}
    }


    @inproceedings{San97-rece,
       author = {Sangiorgi, D.},
       booktitle = icalp97,
       title = {The name discipline of uniform receptiveness},
       publisher = sv,
       volume = {1256},
       pages ={303--313},
       series = lncs,
       year = {1997}
    }

    @unpublished{San98-TR,
       author = {Sangiorgi, D.},
       title = {Interpreting functions as pi-calculus processes: a tutorial},
       note = {Revised version of {TR} {RR}-3470,  {INRIA}-Sophia Antipolis.
          {A}vailable as ftp://zenon.inria.fr/meije/theorie-par/davides/functionPItutorial.ps.gz},
        year = {1999}
    }

    @techreport{San98-TRold,
       author = {Sangiorgi, D.},
       title = {Interpreting functions as pi-calculus processes: a tutorial},
       institution = {{INRIA}-Sophia Antipolis},
       number = {{RR}-3470},
       year = {1998}
    }

    @article{San98OO,
       author = {Sangiorgi, D.},
       journal = ic,
       title = {An interpretation of Typed Objects
              into  Typed $\pi$-calculus},
       year = {1998},
       volume = {143},
       number = {1},
     pages =   {34--73}
    }

    @unpublished{San98Udine,
      author        = {Sangiorgi, D.},
      title         = {Asynchronous process calculi: the first-order and higher-order paradigms (Tutorial)},
      note          = {To appear},
      year          = {1998}
    }

    @article{San99tapos,
       author = {Sangiorgi, D.},
       journal = {Theory and Practice of {O}bject {s}ystems},
       title = {Typed $\pi$-calculus at Work: a Correctness Proof of {J}ones's
      Parallelisation Transformation  on Concurrent Objects},
       year = {1999},
       volume = {5},
       number = {1},
     pages =   {25--34}
    }

    @InProceedings{Sangiorgi01,
      author =       {Davide Sangiorgi},
      title =        {Terminaition of Processes},
      booktitle =    {Proceedings of CONCUR 2001},
      year =         2001,
      series =       {LNCS},
      organization = {Springer}
    }

    @phdthesis{SangiorgiD:expmpa,
    author={Davide Sangiorgi},
    title={Expressing Mobility in Process Algebras: First-Order and Higher
              Order Paradigms},
    school={University of Edinburgh},
    year=1992}

    @book{SangiorgiD:picatomp,
     author    = {Davide Sangiorgi and David Walker},
     title     = {The $\pi$-{C}alculus: a {T}heory of {M}obile {P}rocesses},
     year      = {2001},
     publisher = {Cambridge University Press}
    }


    @InProceedings{SangiorgiD:somresobeipc,
      author =       {Davide Sangiorgi and David Walker},
      title =        {Some results on barbed equivalences in pi-calculus},
      booktitle =    {Proc.~CONCUR'01},
      year =         2001
    }

    @InProceedings{SatohI:semfareatoopl,
      author =   {Ichiro Satoh and Mario Tokoro},
      title =    {Semantics for a Real-Time Object-Oriented Programming Language},
      booktitle =    {Proc.~ICCL'94},
      year =     1994
    }

    @Book{ScheiderSA,
      author =       {Steve A. Schneider},
      ALTeditor =    {},
      title =        {Timed CSP ???},
      publisher =    {???},
      year =         {???},
      OPTkey =       {},
      OPTvolume =    {},
      OPTnumber =    {},
      OPTseries =    {},
      OPTaddress =   {},
      OPTedition =   {},
      OPTmonth =     {},
      OPTnote =      {},
      OPTannote =    {}
    }

    @Article{SchneiderFB:faispaatdftcs,
      author =       {Fred B.~Schneider},
      title =        {Fail-stop processors: An approach to designing fault-tolerant computing systems},
      journal =      {ACM Transactions on Programming Languages and Systems},
      year =         1983,
      volume =       1,
      number =       3,
      pages =        {222--238}
    }

    @InProceedings{SelingerP:firoac,
      author =       {Peter Selinger},
      title =        {First-Order Axioms for Asynchrony},
      booktitle =    {Proc.~CONCUR '97},
      year =         {1997}
    }


    @InProceedings{SewellP:frorewrtbc,
      author =       {Peter Sewell},
      title =        {From Rewrite Rules to Bisimulation Congruences},
      booktitle =    {Proc.~CONCUR 98},
      year =         1998
    }

    @InProceedings{SewellP:glolocsacifadpc,
      author =   {Peter Sewell},
      title =    {Global/Local Subtyping and Capability Inference for a Distributed pi-calculus},
      booktitle =    {Proc.~ICALP'98},
      volume =   1442,
      series =   {LNCS},
      year =     1998
    }


    @TechReport{SewellP:locindcma,
      author =       {Peter Sewell and Pawe{\-\l} Wojciechowski and Benjamin C.~Pierce},
      title =        {Location-Independent Communication for Mobile Agents: a Two-Level Architecture},
      institution =  {Computer Laboratory, University of Cambridge},
      year =         1999,
      type =         {Technical Report},
      number =       462,
      month =        {April},
      note =         {A version of this
           appeared in Internet Programming Languages, LNCS 1686.}
    }

    @PhdThesis{ShaliziCR:cauarccasoitsaca,
      author =   {Cosma Rohilla Shalizi},
      title =    {Causal Architecture, Complexity and Self-Organization in Time Series and Cellular Automata},
      school =   {University of Wisconsin},
      year =     2001
    }


    @Article{ShelahS:evetwoeemhiu,
      author =       {Saharon Shelah},
      title =        {Every two elementary equivalent models have isometric ultrapowers},
      journal =      {Israel Journal of Mathematics},
      year =         1971,
      volume =       10,
      pages =        {224--233}
    }



    @Article{SpiroP:desaopttcp,
      author =       {P.~Spiro and A.~Joshi and T.~Rengarajan},
      title =        {Designing an Optimized Transaction Commit Protocol},
      journal =      {Digital Technical Journal},
      year =         1991,
      volume =       3,
      number =       1
    }

    @InCollection{StoltenbergV:effalg,
      author =       {Stoltenberg, V},
      title =        {Effective Algebras},
      booktitle =    {Handbook of Logic in Computer Science},
      OPTcrossref =  {},
      OPTkey =       {},
      OPTpublisher = {},
      year =         {1995},
      OPTeditor =    {},
      volume =       {3},
      OPTnumber =    {},
      OPTseries =    {},
      OPTchapter =   {},
      OPTtype =      {},
      OPTaddress =   {},
      OPTedition =   {},
      OPTmonth =     {},
      OPTpages =     {},
      OPTnote =      {},
      OPTannote =    {}
    }

    @Book{StroustrupB:cpppl,
      author =       {Bjarne Stroustrup},
      title =        {The C++ Programming Language},
      publisher =    {Addison Wesley},
      year =         {1997},
      edition =      {3$^{\text{rd}}$}
    }

    @Book{StroustrupB:tdesaevootcpppl,
      author =       {Bjarne Stroustrup},
      title =        {The Design and Evolution of C++},
      publisher =    {Addison Wesley},
      year =         {1994}
    }

    @inproceedings{  SumiiPierce01,
    author =          "Eijiro Sumii and Benjamin C. Pierce",
    title =           "Logical Relations for Encryption",
    booktitle =       "CSFW",
    year =            "2001"
    }

    @book{TanenbaumAS:disos,
        author    = {Tanenbaum, Andrew S.},
        title     = {Distributed operating systems},
        publisher = {Prentice Hall},
        pages     = {xvii + 614},
        year      = {1995}
    }


    @Book{TannenbaumA:comnet,
      author =       {Andrew S. Tannenbaum},
      title =        {Computer Networks},
      publisher =    {Prentice Hall},
      year =         1996
    }

    @article{ThomsenB:plachoasgcfhop,
        author = "Bent Thomsen",
        title = "{P}lain {CHOCS}: {A} {S}econd {G}eneration {C}alculus for {H}igher {O}rder {P}rocesses",
        journal = "Acta Informatica",
        volume = "30",
        number = "1",
        pages = "1-59",
        year = "1993"
    }

    @InProceedings{Tofte90,
      author =       {Mads Tofte},
      title =        {Type Inference for Polymorphic References},
      booktitle =    {},
      year =         2002,
      series =       {LNCS 2305},
      pages =       {21--35},
      publisher =    {Springer}
    }



    @PhdThesis{TurnerDN:polpictai,
      author =       {David N.~Turner},
      title =        {The Polymorphic Pi-Calculus: Theory and Implementation},
      school =       {University of Edinburgh},
      year =         1996
    }

    @InProceedings{VasconcelosV:pritypsfppc,
      author =       {Vasco T.~Vasconcelos and Kohei Honda},
      title =        {Principal Typing Scheme for Polyadic $\pi$-Calculus},
      booktitle =    {Proc.~CONCUR'93},
      year =         1993
    }

    @InProceedings{VasconcelosV:typco,
      author =       {Vasco Vasconcelos},
      title =        {{Typed Concurrent Objects}},
      booktitle =    {ECOOP'94},
      year =         1994,
      SERIES = lncs,
        volume = {821},
        publisher=springer,
        pages = {100--117},
        editor    = {Mario Tokoro and
               Remo Pareschi},
    }



    @Article{VasconcelosVT:comerritpcau,
      author       = {Vasco T. Vasconcelos and Ant\'onio Ravara},
      title        = {Communication errors in the pi-calculus are undecidable},
      journal      = IPL,
      year         = 1999,
      volume       = 71,
      number       = {5--6},
      pages        = {229--233}
    }

    @InProceedings{VitekJ:seafrafsmc,
      author =   {Jan Vitek and Giuseppe Castagna},
      title =    {Seal: {A} {F}ramework for {S}ecure {M}obile {C}omputations},
      booktitle =    {Internet Programming Languages},
        SERIES = lncs,
        volume = {1686},
        PAGES ={47-77},
      year =     1999
    }

    @InCollection{WadlerP:theoforf,
      author =       {Philip Wadler},
      title =        {Theorems for free!},
      booktitle =    {Proceedings of the 4'th International Conference on Functional Programming and Computer Architecture},
      publisher =    {ACM Press},
      year =         1989,
      month =        {September}
    }

    @Article{WellsJB:typatypcisfaeau,
      author =   {Joe B.~Wells},
      title =    {Typability and type checking in {S}ystem {F} are equivalent and undecidable},
      journal =      {Ann.~Pure Appl.~Logic},
      year =     1999,
      volume =   98,
      number =   {1-3},
      pages =    {111-156}
    }

    @InProceedings{WilsonPR:unigct,
      author =       {Paul R.~Wilson},
      title =        {Uniprocessor Garbage Collection Techniques},
      booktitle =    {Proceedings of the 1992 International Workshop on Memory Management ( St.~Malo, France)},
      year =         1992,
      series =       {LNCS},
      publisher =    {Springer}
    }


    @inproceedings{WinskelG:eves,
      author =       {Glynn Winskel},
      booktitle =    {Advances in Petri Nets 1986,
              {P}art {I}{I}},
      year =         1987,
      title =        {Event structures}
    }



    @inproceedings{WinskelG:evesscrl,
      author =       {Glynn Winskel},
      crossref =     {VaandragerFW,ICALP9},
      note =         {See also DAIMI Report PB-159, Computer Science
              Department, Aarhus University, 1983},
      pages =        {561--576},
      title =        {Event structure semantics for {CCS} and related
              languages}
    }


    @book{WinskelG:forspl,
        author          = {Glynn Winskel},
        title           = {The formal semantics of programming languages},
        publisher       = {MIT Press},
        year            = 1993}

    @inproceedings{WinskelG:intes,
      author =       {Glynn Winskel},
      crossref =     {VaandragerFW,REXlinear},
      pages =        {364--397},
      title =        {An introduction to event structures}
    }

    @InProceedings(WinskelG:intes,
      Author =       "Glynn Winskel",
      Title =        "An introduction to event structures",
      Organization = "REX Workshop",
      BookTitle =    "Linear Time, Branching Time and Partial Order in
              Logics and Models for Concurrency",
      Pages =        "364",
      Year =         "1988",
      Note =         "Springer,LNCS 354"
    )

    @incollection{WinskelG:modc,
      author =       {Glynn Winskel and Mogens Nielsen},
      title =        {Models for Concurrency},
      booktitle =    {Handbook of Logic in Computer Science},
      publisher =    {Oxford University Press},
      editor =       {S. Abramsky and D. Gabbay and T.S.E. Maibaum},
      year =         1995
    }

    @PhdThesis{WojciechowskiW:nompiclaidfmc,
      author =   {Pawe{\-\l} Wojciechowski},
      title =    {Nomadic Pict: Language and Infrastructure Design for Mobile Computation},
      school =   {University of Cambridge},
      year =     2000
    }

    @InProceedings{YBH,
      author =   {Nobuko Yoshida and Martin Berger and Kohei Honda},
      title =   {Strong {N}ormalisation in the $\pi$-{C}alculus},
      booktitle =   {Proc.~LICS'01},
      pages= {311--322},
      publisher= {IEEE},
      year =   {2001},
      note = {The full version in {\em Journal of Inf.~\& Comp.}., 191 (2004) 145--202, Elsevier.}}

    @Unpublished{YBH-full,
      author =       {Nobuko Yoshida and Martin Berger and Kohei Honda},
      title =        {Strong {N}ormalisation in the $\pi$-{C}alculus},
      note =         {Full version of \cite{YBH}}
    }

    @InProceedings{YHB02,
      author =   {Nobuko Yoshida and Kohei Honda and Martin Berger},
      title =   {Linearity and Bisimulation},
      booktitle =   {FoSSaCs02},
      year =   {2002},
      organization = {Springer},
      volume = 2303,
      pages={417--433},
      series =   {LNCS}

    }

    @InProceedings{YiW:reatboaa,
      title={Real-Time Behaviour of Asynchronous Agents},
      author={Wang Yi},
      pages={502--520},
      booktitle = {Proc.~CONCUR'90},
      year      = {1990},
    }

    @Article{YohidaN:minsra,
      author       = {Nobuko Yoshida},
      title        = {Minimality and Separation Results on Asynchronous Mobile Processes},
      journal      = TCS,
      year         = 2002,
      volume       = 274,
      number       = 2,
      pages        = {143-179},
      note = {Extended Abstract appeared in Proc.~CONCUR'98}
    }

    @InProceedings{HondaYoshida94a,
      title={Combinatory Representation of Mobile Processes},
      author={Kohei Honda and Nobuko Yoshida},
      pages={348--360},
      booktitle = {Proc. 21th. Annual Symposium on Principles of Programming
    Languages},
      year      = {1994},
      publisher = {ACM press}
    }

    @InProceedings{YohidaN:minsra,
      author =       {Nobuko Yoshida},
     title =        {Minimality and Separation Results on Asynchronous Mobile Processes},
      booktitle =    {Proc.~CONCUR'98},
      year =         1998,
     series =       {LNCS}
    }

    @InProceedings{YoshidaN:gratypfmmp,
      author =       {Nobuko Yoshida},
      title =        {{G}raph {T}ypes for {M}onadic {M}obile {P}rocesses},
      booktitle =    {Proc.~FSTTCS'96},
      year =         1996
    }


    @Unpublished{YoshidaN:minsra,
      author =       {Nobuko Yoshida},
      title =        {Minimality and Separation Results on Asynchronous Mobile Processes},
      note =         {Available from: ftp://ftp.dcs.ed.ac.uk/export/ny/pub/ as minimum.ps.Z}
    }

    @InCollection{barendregtH:lamcalwi,
      author =       {Henk Barendregt},
      title =        {Lambda Calculi with Types},
      booktitle =    {Handbook of Logic in Computer Science. Background: Computational Structures},
      year =         1992,
      publisher =    {Clarendon Press},
      editor =       {Samson Abramsky and Dov Gabbay and Tom Maibaum},
      volume =       2
    }

    @Misc{short:HondaK:redbps,
      author =       {Kohei Honda and Nobuko Yoshida},
      title =        {{O}n {R}eduction-{B}ased {P}rocess {S}emantics}
    }


    @Misc{short:HondaK:twobinc,
      author =       {Kohei Honda},
      title =        {Two bisimilarities in $\nu$-calculus}
    }



    @Misc{short:MartinB:twophacpiaepc,
      author =       {Martin Berger and Kohei Honda},
      title =        {The {T}wo-{P}hase {C}ommit {P}rotocol in an {E}xtended $\pi$-{C}alculus}
    }

    @Misc{short:MillsD:timsyns,
      author =   {Dave Mills},
      title =    {Time Synchronization Server}
    }

    @Misc{short:MilnerR:calmp1,
    author = {Robin Milner and Joachim Parrow and David Walker},
    title = {{A Calculus of Mobile Processes, Parts {I} and {II}}},
    journal = {Info.~\&~Comp.},
    year = {1992},
    volume = {100},
    number = {1}
    }

    @misc{short:SangiorgiD:picatomp,
     author    = {Davide Sangiorgi and David Walker},
     title     = {The $\pi$-{C}alculus: a {T}heory of {M}obile {P}rocesses}
    }

    @Misc{short:SewellP:glolocsacifadpc,
      author =   {Peter Sewell},
      title =    {Global/Local Subtyping and Capability Inference for a Distributed pi-calculus}
    }


    @Misc{short:WojciechowskiW:nompiclaidfmc,
      author =   {Pawe{\-\l} Wojciechowski},
      title =    {Nomadic Pict: Language and Infrastructure Design for Mobile Computation}
    }


    @misc{short:YBH,
      author =   {Nobuko Yoshida and Martin Berger and Kohei Honda},
      title =   {Strong {N}ormalisation in the $\pi$-{C}alculus}
    }




    @Misc{short:YBH-full,
      author =       {Nobuko Yoshida and Martin Berger and Kohei Honda},
      title =        {Strong {N}ormalisation in the $\pi$-{C}alculus}
    }


    @InProceedings{skeenD:nonblocp,
      author =       {Dale Skeen},
      title =        {Non-blocking Commit Protocols},
      booktitle =    {Proceedings of the ACM SIGMOD International Conference on the Management of Data},
      pages =        {133--142},
      year =         1981
    }

    @Article{stamosJW:coologtep,
      author =       {James W.~Stamos and Flaviu Cristian},
      title =        {Coordinator Log Transaction Execution Protocol},
      journal =      {Distributed and Parallel Databases},
      year =         1993,
      volume =       1,
      number =       4,
      pages =        {383--408}
    }


    @Article{CC03,
      author =       {Lu{\'\i}s Caires and Luca Cardelli},
      title =        {{A} {S}patial {L}ogic for {C}oncurrency ({P}art {I})},
      journal =      {Inf.~and Comp.},
      year =         2003,
      volume =       186,
      number =       2,
      pages =        {194--235}
    }


    @InProceedings{stamosJW:lowcosacp,
      author =       {James W.~Stamos and Flaviu Cristian},
      title =        {A Low-Cost Atomic Commit Protocol},
      booktitle =    {Proceedings of the Ninth Symposium on Reliable Distributed Systems},
      pages =        {66--75},
      year =         1990,
      organization = {IEEE},
      publisher =    {IEEE Computer Society Pres}
    }


    @InProceedings{stamosJW:lowcosacp,
      author =       {James W.~Stamos and Flaviu Cristian},
      title =        {A Low-Cost Atomic Commit Protocol},
      booktitle =    {Proceedings of the Ninth Symposium on Reliable Distributed Systems},
      pages =        {66--75},
      year =         1990,
      organization = {IEEE},
      publisher =    {IEEE Computer Society Pres}
    }



    @ARTICLE{pottier-simonet-toplas-03,
      AUTHOR = {Fran\c{c}ois Pottier and Vincent Simonet},
      TITLE = {Information Flow Inference for {ML}},
      URL = {http://pauillac.inria.fr/~fpottier/publis/fpottier-simonet-toplas.ps.gz},
      MONTH = JAN,
      YEAR = {2003},
      VOLUME = {25},
      NUMBER = {1},
      PAGES = {117--158},
      JOURNAL = {ACM Trans.~Prog.~ Lang.~and Sys.},
      ABSTRACT = {This paper presents a type-based information flow analysis for a call-by-value
              lambda-calculus equipped with references, exceptions and let-polymorphism,
              which we refer to as Core ML. The type system is constraint-based and has
              decidable type inference. Its non-interference proof is reasonably
              light-weight, thanks to the use of a number of orthogonal techniques. First, a
              syntactic segregation between values and expressions allows a lighter
              formulation of the type system. Second, non-interference is reduced to subject
              reduction for a non-standard language extension. Lastly, a semi-syntactic
              approach to type soundness allows dealing with constraint-based polymorphism
              separately.},
      ACM = {http://doi.acm.org/10.1145/596980.596983}
    }

    @InProceedings{IFAinLF,
      author =       {Torben Amtoft and Anindya Banerjee},
      title =        {Information Flow Analysis in Logical Form},
      booktitle =    {Symposium on Static Analysis 2004},
      year =         2004,
      publisher =    {Springer Verlag},
      series =       {LNCS}
    }



    @InProceedings{Reynolds78,
       author = {John C. Reynolds},
       title = {Syntactic control of interference},
       booktitle = {Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages},
       year = {1978},
       pages = {39--46},
       location = {Tucson, Arizona},
       publisher = {ACM Press},
    }

    @InProceedings{Jones93,
       author = {Cliff Jones},
       title = {Constraining interference in an object-based design method},
       booktitle = {Proceedings of TAPSOFT'93},
       year = {1993},
       pages = {136--150},
       publisher = {Springer Verlag},
      series =       {LNCS 668}
    }


    @InCollection{Abramsky90,
      author =       {Samson Abramsky},
      title =        {The Lazy Lambda Calculus},
      booktitle =    {Research topics in Functional Programming},
      year =         1990,
      publisher =    {Addison Wesley},
      editor =       {David Turner}
    }

    @techreport{MJ,
    author = {Gavin Bierman and Matthew Parkinson and Andrew Pitts},
    title = {{{MJ}: An Imperative Core Calculus for {J}ava and {J}ava with Effects}},
    institution = {Univ. of Cambridge Computer Laboratory},
    year = {2003},
    OPmonth = {April},
    number = {563}
    }

    @article{FJ,
     author = {Atsushi Igarashi and Benjamin C. Pierce and Philip Wadler},
     title = {{Featherweight {J}ava: a Minimal Core Calculus for {J}ava and {GJ}}},
     journal = {ACM TOPLAS},
     volume = {23},
     number = {3},
     year = {2001},
     issn = {0164-0925},
     pages = {396--450},
     url = {http://doi.acm.org/10.1145/503502.503505},
     publisher = {ACM Press},
     }

    @inproceedings{aja:zhao04scoped,
    author = {Tian Zhao and James Noble and Jan Vitek},
    title = {Scoped Types for Real-time {J}ava},
    booktitle = {Proceedings of the 25th Annual IEEE Symposium on Real-time Systems},
    year = {2004},
    published = {IEEE Computer Society}
    }

    @article{aja:vitek98javaseal,
      author = {Jan Vitek and Ciar\'an Bryce and Walter Binder},
      title = {Designing {J}ava{S}eal or How to Make {J}ava Safe for Agents},
      year = {1998},
      journal = {Electronic Commerce Objects},
      editor = {D. Tsichritzis},
      publisher = {Centre Universitaire d'Informatique, Universite de Geneve}
    }

    @article{aja:merro02mobile,
     author = {Massimo Merro and Josva Kleist and Uwe Nestmann},
     title = {Mobile objects as mobile processes},
     journal = {Information and Computation},
     volume = {177},
     number = {2},
     year = {2002},
     issn = {0890-5401},
     pages = {195--241},
     url = {http://dx.doi.org/10.1016/S0890-5401(02)93172-X},
     publisher = {Academic Press, Inc.}
     }

    @techreport{aja:cardelli94obliq,
        author = {Luca Cardelli},
        title = {{Obliq}: {A} Language with Distributed Scope},
        institution = {Systems Research Center, Digital Equipment Corporation},
        number = {122},
        year = {1994},
        url = {citeseer.ist.psu.edu/cardelli95obliq.html}
    }


    @techreport{aja:gordon99concurrent,
    author = {Andrew D. Gordon and Paul D. Hankin},
    title = {A Concurrent Object Calculus: Reduction and Typing},
    institution = {University of Cambridge Computer Laboratory},
    year = {1999},
    month = {February},
    number = {457}
    }

    @inproceedings{aja:drossopoulou03flexible,
     author    = {Sophia Drossopoulou and Giovanni Lagorio and Susan Eisenbach},
     title     = {Flexible {M}odels for {D}ynamic {L}inking},
     booktitle = {ESOP'03},
     year      = {2003},
     OPmonth     = {April},
     series    = lncs,
     volume    = {2618},
     pages     = {38--53},
     publisher = {Springer-Verlag},
     OPeditor    = {Pierpaolo Degano}
    }

    @inproceedings{aja:qian00formal,
     author = {Zhenyu Qian and Allen Goldberg and Alessandro Coglio},
     title = {A formal specification of {J}ava class loading},
     booktitle = {Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications},
     year = {2000},
     isbn = {1-58113-200-X},
     pages = {325--336},
     location = {Minneapolis, Minnesota, United States},
     url = {http://doi.acm.org/10.1145/353171.353193},
     publisher = {ACM Press},
     }

    @inproceedings{aja:liang98dynamic,
     author = {Sheng Liang and Gilad Bracha},
     title = {Dynamic class loading in the {J}ava virtual machine},
     booktitle = {Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications},
     year = {1998},
     isbn = {1-58113-005-8},
     pages = {36--44},
     location = {Vancouver, British Columbia, Canada},
     url = {http://doi.acm.org/10.1145/286936.286945},
     publisher = {ACM Press}
     }

    @inproceedings{aja:drossopoulou02manifestations,
     author    = {Sophia Drossopoulou and Susan Eisenbach},
     title     = {Manifestations of {D}ynamic {L}inking},
     booktitle = {The First Workshop on Unanticipated Software Evolution (USE 2002)},
     year      = {2002},
     month     = {June},
     address   = {M\'alaga, Spain},
     publisher = {http://joint.org/use2002/proceedings.html}
    }

    @inproceedings{aja:krintz99reducing,
     author = {Chandra Krintz and Brad Calder and Urs H\"olzle},
     title = {Reducing transfer delay using {J}ava class file splitting and prefetching},
     booktitle = {Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications},
     year = {1999},
     isbn = {1-58113-238-7},
     pages = {276--291},
     location = {Denver, Colorado, United States},
     url = {http://doi.acm.org/10.1145/320384.320412},
     publisher = {ACM Press},
     }

    @Article{Yoshida02,
    title = {Minimality and Separation Results on Asynchronous Mobile Processes: Rep
    resentability by Concurrent Combinators},
    author={Nobuko Yoshida},
    journal="Theoretical Computer Science",
    volume=274,
    issue = 1,
    pages={231--276},
    year="2002",
    publisher = {North Holland}
    }

    @Article{yh,
    title={Assigning Types to Processes},
    author={Nobuko Yoshida and Matthew Hennessy},
    journal="Information and Computation",
    volume=172,
    pages={82--120},
    year="2002"
    }

    @InProceedings{HY02short,
      author =       {Kohei Honda and Nobuko Yoshida},
      title =        {A Uniform Type Structure for Secure Information Flow},
      booktitle =    {POPL'02},
      publisher =    {ACM Press},
      pages =        {81--92},
      note =         {Full version available at www.doc.ic.ac.uk/$\tilde{\ }$yoshida
    , Revised in June 2004, 84 pages},
       year =         2002
    }

    @InProceedings{YHB02a,
      author =   {Nobuko Yoshida and Kohei Honda and Martin Berger},
      title =   {Linearity and Bisimulation},
     booktitle =     {Proc.~FoSSaCs'02, Proceeding of 5th International Conference o
    f Software Science and Computer Structures},
      year =   {2002},
      publisher = {Springer},
      volume = 2303,
      pages={417--433},
      series =   {LNCS}
    }

    @inproceedings{vivas02dynamic,
        author ={Jose-Luis Vivas and Nobuko Yoshida},
        title ={Dynamic Channel Screening in the Higher Order=20
    pi-Calculus},
        booktitle ={Electronic Notes in Theoretical Computer Science},
        volume ={66},
        issue ={3},
        publisher ={Elsevier},
        year = {2002}
    }

    @InProceedings{yoshida02typebased,
    author ="N. Yoshida",
    title ="Type-Based Liveness Guarantee in the Presence of Nontermination and Nond
    eterminism",
      year =   {2002},
      booktitle = {PPL~'03, Proc.~of JSST Workshop Programming and Program Language}
    ,
      publisher = {JSST},
      pages={32--46}
    }

     @InProceedings{BHY03,
      author =       {Martin Berger and Kohei Honda and Nobuko Yoshida},
      title =        {Genericity and
      the $\pi$-Calculus},
      booktitle =    {Proc.~FoSSaCs'03, Proceeding of 6th International Conference o
    f Software Science and Computer Structures},
      year =         2003,
      number =       2620,
      pages = {103-119},
      series =       {LNCS}
    }


    @Article{YBH04,
      author =   {Nobuko Yoshida and Martin Berger and Kohei Honda},
      title =   {Strong {N}ormalisation in the $\pi$-{C}alculus},
      journal="Information and Computation",
      volume={191(2004)},
      pages={145--202},
      year="2004"
    }

     @Article{HY04,
      author =       {Kohei Honda and Nobuko Yoshida},
      title =        {Noninterference through Flow Analysis},
      journal =      {Journal of Functional Programming},
      year    =      2005,
      pages   = {58 pages},
      publisher =    {Cambridge University Press}
    }

     @InProceedings{Yoshida04,
       author =       {Nobuko Yoshida},
       title =        {Channel Dependency Types for Higher-Order Mobile Processes},
       booktitle =    {POPL~'04, Conference Record of the 31st Annual
    Symposium on Principles of Programming Languages},
       publisher =    {ACM Press},
       pages =        {147--160},
       note =         {Full version available at www.doc.ic.ac.uk/$\tilde{\ }$yoshida},
       year =         2004
     }

    @inproceedings{HRY04,
     author    ={Matthew Hennessy and Julian Rathke and Nobuko Yoshida},
      title   ={SafeDpi: A Language for Controlling Mobile Code},
     booktitle ={Proceedings of the European Symposium on Programming (ESOP 2004)},
     year      ={2004},
     month     ={April},
     place     ={Barcelona, Spain},
     series    ={LNCS},
     booktitle =     {Proc.~FoSSaCs'04, Proceeding of 7th International Conference o
    f Software Science and Computer Structures},
     publisher ={Springer-Verlag}
    }

    @inproceedings{abstractmachine-esop04,
     author    ={A. Phillips and N. Yoshida and S. Eisenbach},
      title   ={A Distributed Abstract Machine for Boxed Ambient Calculi},
     booktitle ={Proceedings of the European Symposium on Programming (ESOP 2004)},
     year      ={2004},
     month     ={April},
     place     ={Barcelona, Spain},
     series    ={LNCS},
     publisher ={Springer-Verlag}
    }

    @InProceedings{HY04PPDP,
      author =       {Kohei Honda and Nobuko Yoshida},
      title =        {A Compositional Logic for Polymorphic Higher-Order Functions},
      booktitle =    {Proc.~PPDP'04, 6th ACM-SIGPLAN International Confernce on Prin
    ciples and Practice of Decralative Programming},
      year =         2004,
      pages = {191-202}
    }


    @InProceedings{HY04b,
       author =   {Kohei Honda and Nobuko Yoshida and Martin Berger},
       title =    {Control in the $\pi$-Calculus},
       booktitle =   {Proc.~CW'04},
       publisher =   {ACM Press},
       year =        2004
     }

    @article{safkasi,
     author = {Dan S. Wallach and Andrew W. Appel and Edward W. Felten},
     title = {{SAFKASI}: a security mechanism for language-based systems},
     journal = {ACM Transactions on Software Engineering and Methodology},
     volume = {9},
     number = {4},
     year = {2000},
     issn = {1049-331X},
     pages = {341--378},
     url = {http://doi.acm.org/10.1145/363516.363520},
     publisher = {ACM Press},
     }

    @inproceedings{aja:wallach97extensible,
     author = {Dan S. Wallach and Dirk Balfanz and Drew Dean and Edward W. Felten},
     title = {Extensible security architectures for {J}ava},
     booktitle = {Proceedings of the sixteenth ACM symposium on Operating systems principles},
     year = {1997},
     isbn = {0-89791-916-5},
     pages = {116--128},
     location = {Saint Malo, France},
     url = {http://doi.acm.org/10.1145/268998.266668},
     publisher = {ACM Press}
     }


    @inproceedings{FlanaganPLDI03,
     author = {Cormac Flanagan and Shaz Qadeer},
     title = {A type and effect system for atomicity},
     booktitle = {PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation},
     year = {2003},
     pages = {338--349},
     location = {San Diego, California, USA},
     publisher = {ACM Press},
     }

    @techreport{aja:ancona02simplifying,
      author = {Davide Ancona and Giovanni Lagorio and Elena Zucca},
      title = {Simplifying types in a calculus for {J}ava exceptions},
      institution = {DISI - Universit\`a di Genova},
      year = {2002}
    }

    @inproceedings{JefferyRathke05a,
     author = {Alan Jeffrey and Julian Rathke},
     title = {{J}ava {J}r: {F}ully abstract trace semantics for a core Java language},
     booktitle = {ESOP'05, LNCS},
     year = {2005},
     publisher = {Springer}
     }

    @article{ModernC,
     author = {Nick Benton and Luca Cardelli and Cedric Fournet},
     title = {Modern concurrency abstractions for {C\#}},
     journal = {TOPLS},
     volume = {26},
     number = {5},
     year = {2004},
     pages = {769--804},
     publisher = {ACM Press},
     }

    @inproceedings{dodNet04,
     author = {Dachuan Yu and Andrew Kennedy and Don Syme},
     title = {Formalization of generics for the .NET common language runtime},
     booktitle = {POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
     year = {2004},
     pages = {39--51},
     location = {Venice, Italy},
     publisher = {ACM Press},
     }

    @inproceedings{Jeffrey00,
    author = {Alan Jeffrey},
    title = {{A} {D}istributed {O}bject {C}alculus},
    booktitle = {FOOL},
    year = {2000},
    publisher = {ACM Press},
    }

@InProceedings{odersky:esop2000,
  author =   {Martin Odersky},
  title =    {Functional Nets},
  booktitle =    {Proc. European Symposium on Programming},
  pages =    {1-25},
  year =     2000,
  number =   1782,
  series =   {LNCS},
  month =    mar,
  publisher =    {Springer Verlag}
}


@InProceedings{igarashi:ecoop02,
  author =   {Atsushi Igarashi and Mirko Viroli},
  title =    {Variant Parametric Types: A Flexible Subtyping Scheme for Generics},
  booktitle =    {Proc. ECOOP'02},
  pages =    {441-469},
  year =     2002,
  number =   2374,
  series =   {LNCS},
  publisher =    {Springer Verlag},
  note =         {To appear in ACM TOPLAS}
}


@article{Fornet:Gordon:03,
 author = {Cedric Fournet and Andrew D. Gordon},
 title = {Stack inspection: Theory and variants},
 journal = {ACM Trans. Program. Lang. Syst.},
 volume = {25},
 number = {3},
 year = {2003},
 pages = {360--399},
 publisher = {ACM Press},
 }


@inproceedings{Ohori03,
 author = {Tomoyuki Higuchi and Atsushi Ohori},
 title = {A static type system for JVM access control},
 booktitle = {ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming},
 year = {2003},
 pages = {227--237},
 location = {Uppsala, Sweden},
 publisher = {ACM Press},
 }

@Misc{socket,
author = {Sun {M}icrosystems {I}nc.},
title =  {The {J}ava {T}utorial: {A}ll {A}bout {S}ockets},
howpublished = {http://java.sun.com/docs/books/tutorial/networking/sockets/}
}


@Misc{nio,
author = {Sun {M}icrosystems {I}nc.},
title =  {{N}ew {IO} {API}s},
howpublished = {\url{http://java.sun.com/j2se/1.4.2/docs/guide/nio/index.html}}
}


@Misc{CDL,
key={cdl},
title = {{W3C} {W}eb {S}ervices {C}horeography {D}escription
                  {L}anguage},
howpublished = {\url{http://www.w3.org/2002/ws/chor/}}
}

@Misc{CDLPRIMER,
title = {{Web Services Choreography Description Language: Primer 1.0}},
howpublished = {\url{http://www.w3.org/TR/ws-cdl-10-primer/}}
}


@Misc{CDLUSECASE,
title = {{Web Services Choreography Requirements}},
howpublished = {\url{http://www.w3.org/TR/ws-chor-reqs/}}
}


@Misc{CDLa,
author = {Marco Carbone and Kohei Honda and Nobuko Yoshida and Robin Milner and Gary Brown and Steve Ross-Talbot},
title ={A Theoretical Basis of Communication-Centred Concurrent Programming},
howpublished = {Published in \cite{CDL}},
year = {2006}
}

@Misc{RMI,
author = {Sun {M}icrosystems {I}nc.},
title =  {Java {R}emote {M}ethod {I}nvocation ({RMI}) Specification},
howpublished = {\url{http://java.sun.com/j2se/1.4.2/docs/guide/rmi/spec/rmiTOC.html}}
}

@inproceedings{aja:gordon01typing,
 author = {Andrew D. Gordon and Don Syme},
 title = {Typing a multi-language intermediate code},
 booktitle = {Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 year = 2001,
 isbn = {1-58113-336-7},
 pages = {248--260},
 location = {London, United Kingdom},
 url = {http://doi.acm.org/10.1145/360204.360228},
 publisher = {ACM Press}
}


@InProceedings{vasconcelos.ravara.gay:session-types-functional-multithreading,
  author       = {Vasco T. Vasconcelos and Ant\'onio Ravara and Simon Gay},
  title        = {{Session Types for Functional Multithreading}},
  booktitle    = {CONCUR'04},
  pages        = {497--511},
  year         = 2004,
  volume       = 3170,
  series       = lncs,
  publisher    = springer,
  editor    = {Philippa Gardner and
               Nobuko Yoshida},
}
@Article{vasconcelos.gay.ravara:tychecking-session-types,
  author = 	 {Vasco T. Vasconcelos and Simon Gay and Ant\'onio Ravara},
  title = 	 {Typechecking a Multithreaded Functional Language with Session Types},
  journal = 	 {TCS},
  year = 	 {2006},
  volume = 	 {368},
  number = 	 {1--2},
  pages = 	 {64--87},
}

@InProceedings{honda.vasconcelos.kubo:language-primitives,
  author       = {Kohei Honda and Vasco T. Vasconcelos and Makoto Kubo},
  title        = {Language Primitives and Type Disciplines for Structured
                 Communication-based Programming},
  booktitle    = {ESOP'98},
  volume       = 1381,
  pages        = {22--138},
  series       = LNCS,
  year         = 1998,
  publisher    = {Springer},
OPTeditor    = {Chris Hankin},
}



@InProceedings{carbone.honda.yoshida:dmc06,
  author       = {Marco Carbone and Kohei Honda and Nobuko Yoshida},
  title        = {{A Calculus of Global Interaction Based on Session Types}},
  booktitle    = {{DMC'06}},
  series ={ENTCS},
  publisher ={Elsevier},
  year = {2006}
}



@article{PalsbergZhao04,
 author = {Jens Palsberg and Tian Zhao},
 title = {Type inference for record concatenation and subtyping},
 journal = {Inf. Comput.},
 volume = {189},
 number = {1},
 year = {2004},
 issn = {0890-5401},
 pages = {54--86},
 publisher = {Academic Press, Inc.},
 }


@InProceedings{YeungKelly03,
 author = {Kwok Yeung and Paul Kelly},
 title = {Optimizing {J}ava {RMI} programs by communication restructuring},
  booktitle    = {Middleware'03},
  volume       = 2672,
  pages        = {324-343},
  series       = LNCS,
  year         = 2003,
  publisher    = Springer,
}


@Misc{Javaser,
  author = {Sun {M}icrosystems {I}nc.},
  title = {Discover the secrets of the {J}ava {S}erialization {API}},
  howpublished = {http://java.sun.com/developer/technicalArticles/Programming/serialization/}
}

@Book{Mattson,
  author = 	 {Timothy Mattson and Bevely Sanders and Berma Massingill},
  title = 	 {Patterns for Parallel Programming},
  publisher = 	 {Addison Wesley},
  year = 	 {2005}
}


@inproceedings{FD02,
 author = {Manuel F\"ahndrich and Robert DeLine},
 title = {{Adoption and Focus: Practical Linear Types for Imperative Programming}},
 booktitle = {PLDI'02},
 series={SIGPLAN Notices},
volume={37(5)},
 year = {2002},
 pages = {13--24},
 publisher = {ACM Press},
 }

@inproceedings{Fahndrich01,
author = {Robert DeLine and Manuel F\"ahndrich},
title = {{Enforcing High-Level Protocols in Low-Level Software}},
booktitle = {PLDI '01},
series={SIGPLAN Notices},
volume={36(5)},
year = {2001},
pages = {59--69},
publisher = {ACM Press},
editor = {Cindy Norris and James B. Bergin},
}




@inproceedings{Javari05,
 author = {Matthew S. Tschantz and Michael D. Ernst},
 title = {Javari: adding reference immutability to Java},
 booktitle = {OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming systems languages and applications},
 year = {2005},
 pages = {211--230},
 location = {San Diego, CA, USA},
 doi = {http://doi.acm.org/10.1145/1094811.1094828},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@Misc{PI4TECH,
   author = {},
   title = {Pi4Tech homepage},
   howpublished = {http://www.pi4tech.com}
}


@Misc{vasco:prototype,
   author = {Vasco T. Vasconcelos},
   title = {A prototype implementation of session types},
   howpublished = {http://www.di.fc.ul.pt/\~{ }vv}
}

@Misc{scala,
  author = {},
  title = {{T}he {S}cala {P}rogramming {L}anguage},
  howpublished ={http://scala.epfl.ch/index.html}
  }

@Misc{sessioncommunication,
  author = {},
  title = {Personal Communication by E-mails between the authors of
\cite{HondaK:typdyi,THK,GH,honda.vasconcelos.kubo:language-primitives,BCG04,BAG05,vallecillo.etal:typing-behavior-objects,gay.vasconcelos.ravara:session-types-communication,vasconcelos.ravara.gay:session-types-functional-multithreading}},
  howpublished ={}
  }


 @mastersthesis{DM05,
   author =       {Dimitris Mostrous},
   title =        {Moose: a {M}inimal {O}bject {O}riented {L}anguage with {S}ession {T}ypes},
   school = 	 {Imperial College London},
   year =         {2005}
 }

@Article{acmqueue06,
author = {Stephen Sparkes},
title = {{C}onversation with {S}teve {R}oss-{T}albot},
journal = {ACM Queue},
year = {2006},
volume = {4},
number = {2},
month = {March}
}

@inproceedings{pcd06,
  pdf = {http://www.di.unito.it/~dezani/papers/bass.pdf},
  author = {Pablo Garralda and Adriana Compagnoni and Mariangiola
            Dezani-Ciancaglini},
  booktitle = {{PPDP'06}},
  OPTeditor = {Michael Maher},
  abstract = { We define BASS, a typed boxed ambients calculus with safe
              sessions. Sessions offer the possibility of using the same channel
              to transmit information of different types in a prescribed order.
              A session involves two communicating processes located either
              within the same ambient or across an ambient boundary. One of the
              challenges of adding session primitives to a mobile calculus is
              how to protect sessions from being interrupted by a mobility step.
              To address this challenge, we introduce a mechanism that prevents
              an ambient from moving, if there are pending sessions across its
              boundary. The main result of our development is that in a
              well-typed process a communication redex never disappears after a
              mobility step. In other words, the residual of a communication
              redex is present in the reduct of the original process enabling a
              pending session step to be completed. Therefore, we say that
              sessions in our calculus are safe.},
  title = {{BASS:} {B}oxed {A}mbients with {S}afe {S}essions},
  publisher = {{ACM Press}},
  year = 2006,
  pages = {61-72},
}



 @mastersthesis{RaymondHu06,
   author =       {Raymond Hu},
   title =        {Implementation of a Distributed Mobile {J}ava},
   school = 	 {Imperial College London},
   year =         {2006}
 }


@article{yoshida.vasconcelos:language-primitives,
  author    = {Nobuko Yoshida and
               Vasco Thudichum Vasconcelos},
  title     = {Language Primitives and Type Discipline for Structured Communication-Based
               Programming Revisited: Two Systems for Higher-Order Session
               Communication},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {171},
  number    = {4},
  year      = {2007},
  pages     = {73-93},
  ee        = {http://dx.doi.org/10.1016/j.entcs.2007.02.056},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



@inproceedings{NeubauerThiemann04,
  author    = {Matthias Neubauer and
               Peter Thiemann},
  title     = {{An Implementation of Session Types}},
  booktitle = {PADL},
  year      = {2004},
  pages     = {56-70},
  publisher = {Springer},
  series    = LNCS,
  volume    = {3057}
}

@Article{Gay:2006b,
  author =       "Simon Gay",
  title =        "Bounded Polymorphism in Session Types",
  journal =      "{MSCS}",
  publisher = {CUP},
note = "To appear"
}


@InProceedings{FAHHHLL06,
author = {Manuel F\"ahndrich and others},
title = {{Language Support for Fast and Reliable Message-based Communication in Singularity OS}},
booktitle = {EuroSys2006},
OPTcrossref = {},
OPTkey = {},
pages = {177--190},
year = {2006},
OPTeditor = {},
OPvolume = {},
OPTnumber = {},
series = {ACM SIGOPS},
}

@unpublished{NT04,
  author    = {Matthias Neubauer and
               Peter Thiemann},
  title     = {{Session Types for Asynchronous Communication}},
  year      = {2004},
  note = {Universit\"at Freiburg},
}


@misc{BPEL,
title = {{WS-BPEL} {OASIS} {W}eb {S}ervices {B}usiness {P}rocess {E}xecution {L}anguage},
howpublished =
{\url{http://docs.oasis-open.org/wsbpel/2.0/wsbpel-specification-draft.html}}
}


@inproceedings{PSH04,
  author    = {Polyvios Pratikakis and
               Jaime Spacco and
               Michael W. Hicks},
  title     = {Transparent proxies for java futures.},
  booktitle = {OOPSLA},
  year      = {2004},
  pages     = {206-223}
 }

@Misc{polyglot,
  key={polyglot},
  author = {},
  title = {{P}olyglot homepage},
  howpublished = {\url{http://www.cs.cornell.edu/Projects/polyglot/}}
}

@misc{JAVANIO,
 author = {Doug Lea},
 title = {{\em Scalable IO in Java}},
 month = {November},
 year = {2003},
 howpublished = {\url{http://gee.cs.oswego.edu/dl/cpjslides/nio.pdf}}
}

@misc{NIOHOMEPAGE,
 key={NIO},
 title = {New I/O APIs},
 howpublished = {\url{http://java.sun.com/j2se/1.4.2/docs/guide/nio/}}
}

@inproceedings{MIGRATE,
  author    = {Alex C. Snoeren and
               Hari Balakrishnan},
  title     = {An end-to-end approach to host mobility.},
  booktitle = {MOBICOM},
  year      = {2000},
  pages     = {155-166}
}


@inproceedings{Mutatis,
 author = {Gareth Stoyle and Michael Hicks and Gavin Bierman and Peter Sewell and Iulian Neamtiu},
 title = {Mutatis mutandis: safe and predictable dynamic software updating},
 booktitle = {POPL'05},
 year = {2005},
 pages = {183--194},
 publisher = {ACM Press},
 note={A long version will appear in {TOPLAS}.}
 }


@misc{ccr,
key={ccr},
author = {},
title = {{CCR}: {A}n {A}synchronous {M}essaging {L}ibrary for {C}\#2.0},
howpublished = {\url{http://channel9.msdn.com/wiki/default.aspx/Channel9.ConcurrencyRuntime}}
}

@inproceedings{X10,
 author = {Philippe Charles and Christian Grothoff and Vijay Saraswat and Christopher Donawa and Allan Kielstra and Kemal Ebcioglu and Christoph von Praun and Vivek Sarkar},
 title = {X10: an object-oriented approach to non-uniform cluster computing},
 booktitle = {OOPSLA'05},
 year = {2005},
 pages={11-22},
 publisher = {ACM Press}
 }


@misc{OPI,
key={Occam-pi},
author= {},
title = {Occam-pi homepage},
howpublished = {\url{http://www.occam-pi.org/}}}

@misc{pi4soa,
key={pi4soa},
author= {},
title = {pi4soa homepage},
howpublished = {\url{http://pi4soa.sourceforge.net/}}
}

@Misc{Acute,
key={acute},
author = {},
title = {Acute homepage},
howpublished = {\url{http://www.cl.cam.ac.uk/users/pes20/acute}}
}



@inproceedings{X10theory,
  author    = {Vijay A. Saraswat and
               Radha Jagadeesan},
  title     = {Concurrent Clustered Programming.},
  booktitle = {CONCUR},
  year      = {2005},
  pages     = {353-367},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {3653}
}





@inproceedings{PughSpacco03,
  author    = {William Pugh and
               Jaime Spacco},
  title     = {MPJava: High-Performance Message Passing in Java Using Java.nio.},
  booktitle = {LCPC},
  year      = {2003},
  pages     = {323-339}
}

@proceedings{lcpc2003,
  editor    = {Lawrence Rauchwerger},
  title     = {Languages and Compilers for Parallel Computing, 16th
                  International Workshop, LCPC 2003, College Station,
                  TX, USA, October 2-4, 2003, Revised Papers},
  booktitle = {LCPC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2958},
  year      = {2004},
  isbn      = {3-540-21199-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{prasad06,
       author ={K.V.S. Prasad},
        title ={A Prospectus for Mobile Broadcasting Systems},
        booktitle ={Electronic Notes in Theoretical Computer Science},
        volume ={162},
        publisher ={Elsevier},
        pages={295--300},
        year = {2006}
}

@inproceedings{prasad01,
       author ={K.V.S. Prasad},
        title ={Broadcast Calculus Interpreted in CCS upto Bisimulation},
        booktitle ={Electronic Notes in Theoretical Computer Science},
        volume ={52},
        publisher ={Elsevier},
        pages={83--100},
        issue=1,
        year = {2001}
}

@inproceedings{merro07,
       author ={Massimo Merro},
        title ={An Observational Theory for Mobile Ad Hoc Networks},
        booktitle ={Electronic Notes in Theoretical Computer Science},
        volume ={172},
        publisher ={Elsevier},
        pages={275--293},
        year = {2007}
}

@inproceedings{mezzetti06,
       author ={Nicola Mezzetti and Davide Sangiorgi},
        title ={Towards a Calculus For Wireless Systems},
        booktitle ={Electronic Notes in Theoretical Computer Science},
        volume ={158},
        publisher ={Elsevier},
        pages={331--353},
        year = {2006}
}


@article{Nanz06,
  author    = {Sebastian Nanz and
               Chris Hankin},
  title     = {A framework for security analysis of mobile wireless networks.},
  journal   = {Theor. Comput. Sci.},
  volume    = {367},
  number    = {1-2},
  year      = {2006},
  pages     = {203-227}
 }

@inproceedings{Nanz07,
  author    = {Sebastian Nanz and
               Flemming Nielson and Hanne Riis Nielson},
  title     = {Topology-dependent abstractions of Broadcast Network},
  booktitle = {CONCUR},
  year      = {2007},
  series    = {LNCS}
}


@inproceedings{OstrovskyPT02,
  author    = {Karol Ostrovsky and
               K. V. S. Prasad and
               Walid Taha},
  title     = {Towards a primitive higher order calculus of broadcasting
               systems.},
  booktitle = {PPDP},
  year      = {2002},
  pages     = {2-13},
  publisher={ACM Press}
}
@inproceedings{Prasad96,
  author    = {K. V. S. Prasad},
  title     = {Broadcasting in Time.},
  booktitle = {COORDINATION},
  year      = {1996},
  pages     = {321-338},
  booktitle = {COORDINATION},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1061},
  year      = {1996},
}

@article{Prasad95,
  author    = {K. V. S. Prasad},
  title     = {A Calculus of Broadcasting Systems.},
  journal   = {Sci. Comput. Program.},
  volume    = {25},
  number    = {2-3},
  year      = {1995},
  pages     = {285-327}
}

@InProceedings{carbone.honda.yoshida:esop07,
  author       = {Marco Carbone and Kohei Honda and Nobuko Yoshida},
title        = {{Structured Communication-Centred Programming for Web Services}},
  series ={LNCS},
  publisher ={Springer},
  year = {2007},
  booktitle    = {ESOP'07},
  pages        = {2--17},
 volume = {4421},
}

@Article{bulletin,
  author = 	 {Kohei Honda and Nobuko Yoshida and Marco Carbone},
  title = 	 {Web {S}ervices, {M}obile {P}rocesses and {T}ypes},
  journal = 	 {The Bulletin of the
European Association for Theoretical Computer Science},
 number = 91,
 pages = {165--185},
 volume = {February},
  year = {2007}
}

@article{PalsbergZhao04,
 author = {Jens Palsberg and Tian Zhao},
 title = {Type inference for record concatenation and subtyping},
 journal = {Inf. Comput.},
 volume = {189},
 number = {1},
 year = {2004},
 issn = {0890-5401},
 pages = {54--86},
 publisher = {Academic Press, Inc.},
 }


@InProceedings{YeungKelly03,
 author = {Kwok Yeung and Paul Kelly},
 title = {Optimizing {J}ava {RMI} programs by communication restructuring},
  booktitle    = {Middleware'03},
  volume       = 2672,
  pages        = {324-343},
  series       = LNCS,
  year         = 2003,
  publisher    = Springer,
}


@Misc{Javaser,
  author = {Sun {M}icrosystems {I}nc.},
  title = {Discover the secrets of the {J}ava {S}erialization {API}},
  howpublished = {http://java.sun.com/developer/technicalArticles/Programming/serialization/}
}


@inproceedings{FD02,
 author = {Manuel F\"ahndrich and Robert DeLine},
 title = {{Adoption and Focus: Practical Linear Types for Imperative Programming}},
 booktitle = {PLDI'02},
 series={SIGPLAN Notices},
volume={37(5)},
 year = {2002},
 pages = {13--24},
 publisher = {ACM Press},
 }

@inproceedings{Fahndrich01,
author = {Robert DeLine and Manuel F\"ahndrich},
title = {{Enforcing High-Level Protocols in Low-Level Software}},
booktitle = {PLDI '01},
series={SIGPLAN Notices},
volume={36(5)},
year = {2001},
pages = {59--69},
publisher = {ACM Press},
editor = {Cindy Norris and James B. Bergin},
}




@inproceedings{Javari05,
 author = {Matthew S. Tschantz and Michael D. Ernst},
 title = {Javari: adding reference immutability to Java},
 booktitle = {OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming systems languages and applications},
 year = {2005},
 pages = {211--230},
 location = {San Diego, CA, USA},
 doi = {http://doi.acm.org/10.1145/1094811.1094828},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@Misc{PI4TECH,
   author = {},
   title = {Pi4Tech homepage},
   howpublished = {http://www.pi4tech.com}
}


@Misc{vasco:prototype,
   author = {Vasco T. Vasconcelos},
   title = {A prototype implementation of session types},
   howpublished = {http://www.di.fc.ul.pt/\~{ }vv}
}

@Misc{sessioncommunication,
  key = {A},
  title = {Personal Communication by E-mails between the authors of
\cite{HondaK:typdyi,THK,honda.vasconcelos.kubo:language-primitives,BAG05,vallecillo.etal:typing-behavior-objects,gay.vasconcelos.ravara:session-types-communication}},
  howpublished ={}
  }

@inproceedings{CCHOM89,
 author = {Peter Canning and William Cook and Walter Hill and Walter Olthoff and John C. Mitchell},
 title = {{F-bounded Polymorphism for Object-Oriented Programming}},
 booktitle = {FPCA '89},
 year = {1989},
 isbn = {0-89791-328-0},
 pages = {273--280},
 OPlocation = {Imperial College, London, United Kingdom},
 OPdoi = {http://doi.acm.org/10.1145/99370.99392},
 publisher = {ACM Press},
 OPaddress = {New York, NY, USA},
 }

@inproceedings{BOSW98,
 author = {Gilad Bracha and Martin Odersky and David Stoutamire and Philip Wadler},
 title = {{Making the Future Safe for the Past: Adding Genericity to the Java Programming Language}},
 booktitle = {OOPSLA '98},
 year = {1998},
 isbn = {1-58113-005-8},
 pages = {183--200},
 OPlocation = {Vancouver, British Columbia, Canada},
 OPdoi = {http://doi.acm.org/10.1145/286936.286957},
 publisher = {ACM Press},
 OPaddress = {New York, NY, USA},
 }

 @inproceedings{OW97,
 author = {Martin Odersky and Philip Wadler},
 title = {{Pizza into Java: Translating Theory into Practice}},
 booktitle = {POPL '97},
 year = {1997},
 isbn = {0-89791-853-3},
 pages = {146--159},
 OPlocation = {Paris, France},
 OPdoi = {http://doi.acm.org/10.1145/263699.263715},
 publisher = {ACM Press},
 OPaddress = {New York, NY, USA},
 }

 @article{BSGF03,
 author = {Kim B. Bruce and Angela Schuett and Robert van Gent and Adrian Fiech},
 title = {{PolyTOIL: A Type-safe Polymorphic Object-oriented Language}},
 journal = {ACM Trans. Program. Lang. Syst.},
 volume = {25},
 number = {2},
 year = {2003},
 issn = {0164-0925},
 pages = {225--290},
 OPdoi = {http://doi.acm.org/10.1145/641888.641891},
 publisher = {ACM Press},
 Opaddress = {New York, NY, USA},
 }


@InProceedings{vasconcelos.ravara.gay:session-types-functional-multithreading,
  author       = {Vasco T. Vasconcelos and Ant\'onio Ravara and Simon Gay},
  title        = {{Session Types for Functional Multithreading}},
  booktitle    = {CONCUR'04},
  pages        = {497--511},
  year         = 2004,
  volume       = 3170,
  series       = lncs,
  publisher    = springer,
  editor    = {Philippa Gardner and
               Nobuko Yoshida},
}


@INPROCEEDINGS{DDGY07,
  author = {Mariangiola Dezani-Ciancaglini and Sophia Drossopoulou and Elena Giachino and Nobuko
            Yoshida},
     title = {{Bounded Session Types for Object-Oriented Languages}},
     booktitle    = {{FMCO'06}},
  series ={LNCS},
  publisher ={Springer-Verlag},
  year = {2007},
}

@INPROCEEDINGS{CDD07,
  author = {Sophia Drossopoulou and Mario Coppo and Mariangiola Dezani-Ciancaglini},
     title = {{Amalgamating the Session Types and
the Object Oriented Programming Paradigms}},
     booktitle    = {{MPOOL'07}},
  series ={ENTCS},
  publisher ={Elsevier},
  year = {2007},
  note={To appear.}
}

@INPROCEEDINGS{CDY07,
  author = {Mario Coppo and Mariangiola Dezani-Ciancaglini and Nobuko
            Yoshida},
     title = {{Asynchronous Session Types and Progress for Object-Oriented Languages}},
     booktitle    = {{FMOODS'07}},
  series ={LNCS},
  year = {2007},
  volume={4468},
  pages={1--31},
}

@inproceedings{CDFBL07,
  author = {Ricardo Corin and Pierre-Malo Denielou and Cedric Fournet and Karthikeyan Bhargavan and James Leifer},
  booktitle = {CFS'07},
title = {{Secure Implementations for Typed Session Abstractions}},
  year = {2007},
  publisher = {IEEE-CS Press}
}


@Book{Hennessy07,
  author =   {Matthew Hennessy},
  title =    {A {D}istributed {P}i-Calculus},
  publisher =  {CUP},
  year =     2007
}

 @mastersthesis{Col07,
   author = {Peter Collingbourne},
   title =       {Verification tools for multi-core programming},
   school = 	 {Imperial College London},
   year =         {2007}
 }


@Article{vasconcelos:recursive-types,
  author       = {Vasco T. Vasconcelos},
  title        = {Recursive Types in a calculus of Objects},
  journal      = {Transactions of Information Processing Society of Japan},
  year         = 1994,
  month        = sep,
  volume       = 35,
  number       = 9,
  pages        = {1828--1836}
}

@Article{GayVasco:2008,
  author ={Simon Gay and Vasco T. Vasconcelos},
  title = {Linear Type Theory for Asynchronous Session Types},
  journal ={JFP},
  OPTvolume = {Cambridge University Press},
  publisher = {CUP},
  OPmonth = {December},
  year = 2009,
}


@inproceedings{tlca07,
  author = {Dimitris Mostrous and Nobuko Yoshida},
  series = {LNCS},
  booktitle = {TLCA'07},
   title = {Two Session Typing Systems for Higher-Order Mobile Processes},
  publisher = {Springer},
volume = 4583,
pages = {321-335},
  year = {2007}
}

@book{Schneier93,
 author = {Bruce Schneier},
 title = {Applied Cryptography: Protocols, Algorithms, and Source Code in C},
 year = {1993},
 publisher = {John Wiley \& Sons, Inc.},
 }


@inproceedings{Kobayashi06,
author = {Naoki Kobayashi},
title = {A New Type System for Deadlock-Free Processes},
booktitle = {CONCUR'06},
year = {2006},
series = {LNCS},
volume = {4137},
pages = {233-247}
}

@inproceedings{KSS00,
author = {Naoki Kobayashi and Shin Saito and Eijiro Sumii},
title = {An Implicitly-Typed Deadlock-Free Process Calculus},
booktitle = {CONCUR'00},
year = {2000},
series = {LNCS},
volume = {1877},
pages = {489--503}
}

@Article{igarashi.kobayashi04:gentypPi,
   author =       {Atsushi Igarashi and Naoki Kobayashi},
   title =        {A Generic Type System for the Pi-Calculus},
   journal =      {Theoretical Computer Science},
   year =         2004,
   OPmonth =        {January},
   volume =       311,
   number= {1-3},
   pages =        {121--163}
 }

@InProceedings{mitre:stranspacesTrust,
  author =       "J. Guttman and J. Thayer and J. Carlson and J. Herzog and J. Ramsdell and B. Sniffen",
  title =        "Trust Management in Strand Spaces: A Rely-Guarantee Method",
  booktitle =    "Proc. of ESOP '04",
  publisher =    "Springer-Verlag",
  series =       "LNCS",
  year =         "2004"
}

@inproceedings{Yoshida96,
  author    = {Nobuko Yoshida},
  title     = {Graph Types for Monadic Mobile Processes.},
  booktitle = {FSTTCS},
  year      = {1996},
  series    = {LNCS},
  publisher =    "Springer",
  volume    = {1180},
  pages     = {371-386},
}

@InProceedings{BC07,
 author ={Eduardo Bonelli and Adriana Compagnoni},
 title = {Multipoint Session Types for a Distributed Calculus},
 booktitle = {TGC07},
 publisher={Springer},
 series    = {LNCS},
 year = {2008},
volume    = {4912},
pages     = {240-256}
}

@InProceedings{DLY07,
 author ={Mariangiola Dezani-Ciancaglini and Ugo de' Liguoro and Nobuko Yoshida},
 title = {On {P}rogress for {S}tructured {C}ommunications},
 booktitle = {TGC07},
 publisher={Springer},
 series    = {LNCS},
 year = {2008},
 note = {To appear}
}

@Misc{UNIFI,
author = {UNIFI},
title = {{I}nternational {O}rganization for {S}tandardization
  {ISO} 20022 {UNI}versal {F}inancial {I}ndustry message scheme},
howpublished = {\url{http://www.iso20022.org}},
 year = {2002}
}

@Misc{IPMOBILITY,
  author = {IETF},
  title     = {{Mobility for IPv4}},
  howpublished = {\url{http://dret.net/rfc-index/reference/RFC3344}},
}

@inproceedings{LinB07,
  author    = {Chuan-Kai Lin and
               Andrew P. Black},
  title     = {{DirectFlow}: A Domain-Specific Language for Information-Flow
               Systems},
  booktitle = {ECOOP},
  year      = {2007},
  pages     = {299-322},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {4609}
}

@inproceedings{Spring07,
 author = {Jesper H. Spring and Jean Privat and Rachid Guerraoui and Jan Vitek},
 title = {{StreamFlex}: high-throughput stream programming in {Java}},
 booktitle = {OOPSLA},
 year = {2007},
 pages = {211--228},
 publisher = {ACM},
 }

@article{JSSW04,
  author    = {Carlos Molina-Jim{\'e}nez and
               Santosh K. Shrivastava and
               Ellis Solaiman and
               John P. Warne},
  title     = {Run-time monitoring and enforcement of electronic contracts},
  journal   = {Electronic Commerce Research and Applications},
  volume    = {3},
  number    = {2},
  year      = {2004},
  pages     = {108-125},
}


@inproceedings{JS06,
 author = {Carlos Molina-Jimenez and Santosh Shrivastava},
 title = {Maintaining Consistency between Loosely Coupled Services in the Presence of Timing Constraints and Validation Errors},
 booktitle = {ECOWS},
 year = {2006},
 pages = {148--160},
 }

@PHDTHESIS{Foster06,
  title = {{A Rigorous Approach to Engineering Web Service Compositions}},
  author = {Howard Foster},
  year = {2006},
  url = {http://www.doc.ic.ac.uk/~hf1/phd/downloads/hf-thesis-ds-2006.pdf},
  month = {January},
  school = {Department of Computing, Imperial College London},
}

@Inproceedings{HYC08,
author = {Kohei Honda and Nobuko Yoshida and Marco Carbone},
title = {{Multiparty Asynchronous Session Types}},
booktitle  = {POPL'08},
year = {2008},
publisher =	"ACM",
pages =	"273--284",
}

@misc{X10Homepage,
author= {},
key={x10},
title = {X10 homepage},
howpublished = {\url{http://x10.sf.net}}
}

@inproceedings{X10PPOPP,
  author    = {Satish Chandra and
               Vijay A. Saraswat and
               Vivek Sarkar and
               Rastislav Bod\'{\i}k},
  title     = {Type inference for locality analysis of distributed data
               structures},
  booktitle = {PPOPP},
  year      = {2008},
  pages     = {11-22},
  publisher = {ACM},
}

@inproceedings{WelchBarnes04,
author = {Peter Welch and Fred Barnes},
title = {Communicating {M}obile {P}rocesses: introducing occam-pi},
year = {2005},
pages = {175-210},
booktitle = {25 Years of {CSP}},
volume = {3525},
series = {LNCS},
publisher = {Springer},
}

@misc{scribble,
  title =    "{{S}cribble {P}roject homepage}",
  key={scribble},
  note = "\url{www.scribble.org}",
}


@Misc{SessionHaskell,
author = {Matthew Sackman and Susan Eisenbach},
title = {Session Types in Haskell},
note = {draft},
year = {2008},
}


@inproceedings{CK08,
author = {Peter Collingbourne and Paul Kelly},
title = {Inference of session types from control flow},
booktitle = {FESCA},
year = {2008},
  series ={ENTCS},
  note ={To appear},
  publisher ={Elsevier},
}

@inproceedings{HU07TYPE-SAFE,
 author = {Raymond Hu and Nobuko Yoshida and Kohei Honda},
 title = {{Session-Based Distributed Programming in {Java}}},
  series = {LNCS},
  booktitle = {ECOOP'08},
  publisher = {Springer},
  year = {2008},
  volume    = {5142},
  pages = {516-541},
 howpublished = {\url{http://www.doc.ic.ac.uk/~rhu}},
}


@misc{BCDFL08,
 author = {Karthikeyan Bhargavan and others},
title = {{Cryptographic Protocol Synthesis and Verification for Multiparty Sessions}},
 note ={Draft},
 year = {2008}
}

@inproceedings{WegielK08,
  author    = {Michal Wegiel and
               Chandra Krintz},
  title     = {XMem: type-safe, transparent, shared memory for cross-runtime
               communication and coordination},
  booktitle = {PLDI},
  year      = {2008},
  pages     = {327-338},
  publisher = {ACM}
}



@misc{JacORB,
   key={jacorb},
   author = {},
   title = {{JacORB homepage}},
   howpublished = {\url{http://www.jacorb.org/}}
 }

 @misc{etf,
   title = {Extensible Transport Framework Specification},
   author = {{Object Management Group}},
   howpublished = {http://www.omg.org/docs/ptc/04-03-03.pdf},
 }


@inproceedings{AldrichKC02,
  author    = {Jonathan Aldrich and
               Valentin Kostadinov and
               Craig Chambers},
  title     = {Alias annotations for program understanding},
  booktitle = {OOPSLA},
  year      = {2002},
  pages     = {311-330},
}

@InProceedings{ESM04,
  author =       "Robert Ennals and Richard Sharp and Alan Mycroft",
  title =        "Linear Types for Packet Processing",
  booktitle =    "ESOP '04",
  publisher =    "Springer-Verlag",
  series =       "LNCS",
  volume    = {2986},
  pages = {204--218},
  year =         "2004"
}

@inproceedings{SmithWM00,
  author    = {Frederick Smith and
               David Walker and
               J. Gregory Morrisett},
  title     = {Alias Types},
  booktitle = {ESOP},
  year      = {2000},
  pages     = {366-381},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {1782},
}


@inproceedings{HuntAFHHLLSTW07,
  author    = {Galen C. Hunt and others},
  title     = {Sealing OS processes to improve dependability and safety},
  booktitle = {EuroSys},
  year      = {2007},
  pages     = {341-354},
}


@inproceedings{GR08,
 author = {Madhu Gopinathan and Sriram K. Rajamani},
 title = {Enforcing object protocols by combining static and runtime analysis},
 booktitle = {OOPSLA'08},
 year = {2008},
 pages = {245--260},
 publisher = {ACM},
}


@misc{OMG04,
key={OMG},
title = {Common Object Request Broker Architecture: Core Specification},
howpublished = {OMG document formal/04-03-01},
year =   2004,
}

@inproceedings{CarboneHY08,
  author    = {Marco Carbone and
               Kohei Honda and
               Nobuko Yoshida},
  title     = {Structured Interactional Exceptions in Session Types},
  booktitle = {CONCUR},
  year      = {2008},
  pages     = {402-417},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {5201},
}

@inproceedings{BettiniCDLDY08,
  author    = {Lorenzo Bettini and others},
  title     = {Global Progress in Dynamically Interleaved Multiparty Sessions},
  booktitle = {CONCUR},
  year      = {2008},
  pages     = {418-433},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {5201},
}

@inproceedings{BHY08,
  author    = {Martin Berger and
               Kohei Honda and
               Nobuko Yoshida},
  title     = {Completeness and Logical Full Abstraction in Modal Logics
               for Typed Mobile Processes},
  booktitle = {ICALP (2)},
  year      = {2008},
  pages     = {99-111},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {5126},
}

@InProceedings{Mezzina08,
  author =       "Leonardo Mezzina",
  title =        "How to infer finite session types in a calculus of services and sessions",
  booktitle =    "COORDINATION'08",
  publisher =    "Springer",
  series =       "LNCS",
  volume    = {5052},
  pages = {216--231},
  year =         "2008"
}


@book{MPIbook,
 author = {William Gropp and Ewing Lusk and Anthony Skjellum},
 title = {Using {MPI}},
 year = {1999},
 publisher = {MIT},
 }

@misc{MPI,
key={MPI},
title = {{M}essage {P}assing {I}nterface {(MPI)}},
howpublished = {\url{http://www-unix.mcs.anl.gov/mpi/usingmpi/examples/intermediate/main.htm}},
}

@misc{Dwarf,
key={Dwarf},
title = {{Dwarf Mine} Homepage},
howpublished = {\url{http://view.eecs.berkeley.edu/wiki/Dwarf_Mine}}
}


@misc{OpenMP,
    key={OpenMP},
    title = {{OpenMP} Homepage},
howpublished = {\url{http://openmp.org/wp/}}
}

@misc{Chapel,
    key={Chapel},
    title = {{Chapel} Homepage},
howpublished = {\url{http://chapel.cs.washington.edu/}}
}

@misc{Fortress,
    key={Fortress},
    title = {{Fortress} Homepage},
howpublished = {\url{http://projectfortress.sun.com/Projects/Community}}
}



@ARTICLE{Maassen01efficientjava,
    author = {Jason Maassen and others},
    title = {Efficient {J}ava {R}{M}{I} for parallel programming},
    journal = {ACM TOPLAS},
    year = {2001},
    volume = {23},
    pages = {747--775}
}

@inproceedings{etfmulticast,
  author    = {Daniel Borusch1 and others},
  title     = {Integrating the ROMIOP and ETF Specifications for Atomic Multicast in CORBA},
  booktitle = {ESOP},
  year      = {2005},
  pages     = {680-697},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {3760},
}

@article{DCCP,
 author = {Eddie Kohler and Mark Handley and Sally Floyd},
 title = {Designing {DCCP}: congestion control without reliability},
 journal = {SIGCOMM Comput. Commun. Rev.},
 volume = {36},
 number = {4},
 year = {2006},
 issn = {0146-4833},
 pages = {27--38},
 doi = {http://doi.acm.org/10.1145/1151659.1159918},
 publisher = {ACM},
 address = {New York, NY, USA},
 }



 @book{usingmpi,
 author = {William Gropp and Ewing Lusk and Anthony Skjellkum},
 title = {Using MPI: Portable Parallel Programming with the Message-Passing Interface},
 year = {1999},
 publisher = {MIT Press}
 }


@MISC{mpjexpress,
title = {{MPJ} {E}xpress homepage},
howpublished = {\url{http://mpj-express.org/}}
}

@MISC{parallelalgowebsite,
title = {Session-based Programming for Parallel Algorithms},
howpublished = {\url{http://www.doc.ic.ac.uk/~ab406/parallel_algorithms.html}}
}



@inproceedings{sessparallel,
author = {Andi Bejleri and Raymond Hu and Nobuko Yoshida},
title = {Session-based Programming for Parallel Algorithms},
  booktitle = {PLACES},
  year      = {2009},
 note={To appear in EPTCS}
}

@Misc{JXTA,
key={jxta},
title = {{JXTA} homepage},
howpublished = {\url{https://jxta.dev.java.net/}}
}

@Misc{JMS,
key={jms},
title = {{J}ava {M}essage {S}ervice {(JMS)} homepage},
howpublished = {\url{http://java.sun.com/products/jms/}}
}

@Misc{AMQP,
key={amqp},
title = {{A}dvanced {M}essage {Q}ueuing Protocols {(AMQP)} homepage},
howpublished = {\url{http://jira.amqp.org/confluence/display/AMQP/Advanced+Message+Queuing+Protocol}}
}

@Misc{SCCP,
key={sccp},
title = {{S}kinny {C}all {C}ontrol {P}rotocol {(SCCP)}},
howpublished = {\url{http://www.cisco.com/en/US/tech/tk652/tk701/tk589/tsd_technology_support_sub-protocol_home.html}}}

@Misc{FoxNet,
key={fox},
title = {{FOX} {P}roject homepage},
howpublished = {\url{http://www.cs.cmu.edu/~fox/foxnet.html}}}


@Misc{WebSphere,
key={webshere},
title = {{WebSphere} homepage},
howpublished = {\url{http://www-01.ibm.com/software/websphere/}}}

@inproceedings{SrinivasanM08,
  author    = {Sriram Srinivasan and
               Alan Mycroft},
  title     = {Kilim: Isolation-Typed Actors for {Java}},
  booktitle = {ECOOP},
  year      = {2008},
  pages     = {104-128},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {5142},
}

@misc{SessionDJ,
key={sessiondj},
author = {},
title = {{SJ homepage}},
howpublished = {\url{http://www.doc.ic.ac.uk/~rhu/sessionj.html}}
}

@inproceedings{Emerald,
 author = {Black,, Andrew P. and Hutchinson,, Norman C. and Jul,, Eric and Levy,, Henry M.},
 title = {The development of the Emerald programming language},
 booktitle = {HOPL III},
 year = {2007},
 pages = {11-1--11-51},
 publisher = {ACM},
 }


@inproceedings{MPIzero,
 author = {Francis O'Carroll  and others},
 title = {The design and implementation of zero copy MPI using commodity hardware with a high performance network},
 booktitle = {ICS'98},
 year = {1998},
 pages = {243--250},
 publisher = {ACM},
 }

@InBook{substructural:dwalker:attapl,
author = {David Walker},
note = {Editor Benjamin C. Pierce},
title = {Advanced Topics in Types and Programming Languages},
chapter = {Substructural Type Systems},
publisher = {MIT},
year = {2005}
}

@phdthesis{aamirshafi,
author = {Aamir Shafi},
title = {Nested Parallelism for Multi-core Systems
Using {Java}},
school = {University Of Portsmouth},
year = {2006}}

@inproceedings{XEN,
  author    = {Paul Barham and others},
  title     = {Xen and the art of virtualization},
  booktitle = {SOSP},
  year      = {2003},
  pages     = {164-177},
  ee        = {http://doi.acm.org/10.1145/945445.945462},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{Join,
  author    = {C{\'e}dric Fournet and
               Cosimo Laneve and
               Luc Maranget and
               Didier R{\'e}my},
  title     = {Inheritance in the join calculus},
  journal   = {J. Log. Algebr. Program.},
  volume    = {57},
  number    = {1-2},
  year      = {2003},
  pages     = {23-69},
  ee        = {http://dx.doi.org/10.1016/S1567-8326(03)00040-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{CML,
  author    = {John H. Reppy},
  title     = {{CML}: A Higher-Order Concurrent Language},
  booktitle = {PLDI},
  year      = {1991},
  pages     = {293-305},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{Manticore,
  author    = {Matthew Fluet and
               Mike Rainey and
               John H. Reppy and
               Adam Shaw},
  title     = {Implicitly-threaded parallelism in Manticore},
  booktitle = {ICFP},
  year      = {2008},
  pages     = {119-130},
  ee        = {http://doi.acm.org/10.1145/1411204.1411224},
  crossref  = {DBLP:conf/icfp/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{ManticoreImplicit,
  author    = {Matthew Fluet and
               Mike Rainey and
               John H. Reppy and
               Adam Shaw},
  title     = {Implicitly-threaded parallelism in Manticore},
  booktitle = {ICFP},
  year      = {2008},
  pages     = {119-130},
  ee        = {http://doi.acm.org/10.1145/1411204.1411224},
  crossref  = {DBLP:conf/icfp/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{TE,
  author    = {Kevin Donnelly and
               Matthew Fluet},
  title     = {Transactional events},
  journal   = {J. Funct. Program.},
  volume    = {18},
  number    = {5-6},
  year      = {2008},
  pages     = {649-706},
  ee        = {http://dx.doi.org/10.1017/S0956796808006916},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{TEML,
  author    = {Kevin Donnelly and
               Matthew Fluet},
  title     = {Transactional events},
  journal   = {J. Funct. Program.},
  volume    = {18},
  number    = {5-6},
  year      = {2008},
  pages     = {649-706},
  ee        = {http://dx.doi.org/10.1017/S0956796808006916},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{TEinML,
  author    = {Laura Effinger-Dean and
               Matthew Kehrt and
               Dan Grossman},
  title     = {Transactional events for {M}{L}},
  booktitle = {ICFP},
  year      = {2008},
  pages     = {103-114},
 publisher={ACM},
}

@inproceedings{Actors,
  author    = {Carl Hewitt and
               Peter Bishop and
               Richard Steiger},
  title     = {A Universal Modular ACTOR Formalism for Artificial Intelligence},
  booktitle = {IJCAI},
  year      = {1973},
  pages     = {235-245},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{FoxNetPaper,
  author    = {Edoardo Biagioni and 
               Robert Harper and
               Peter Lee},
  title     = {A Network Protocol Stack in {S}tandard {M}{L}},
  journal   = {HOSC},
  volume    = {14},
  number    = {4},
  year      = {2001},
  pages     = {309-356},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{ActorsInScala,
  author    = {Philipp Haller and
               Martin Odersky},
  title     = {Scala Actors: Unifying thread-based and event-based programming},
  journal   = {TCS},
  volume    = {410},
  number    = {2-3},
  year      = {2009},
  pages     = {202-220},
  ee        = {http://dx.doi.org/10.1016/j.tcs.2008.09.019},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{Pucell2008,
 author = {Pucella,, Riccardo and Tov,, Jesse A.},
 title = {Haskell session types with (almost) no class},
 booktitle = {Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell},
 year = {2008},
 isbn = {978-1-60558-064-7},
 pages = {25--36},
 location = {Victoria, BC, Canada},
 doi = {http://doi.acm.org/10.1145/1411286.1411290},
 publisher = {ACM},
 address = {New York, NY, USA},
 }
 
@unpublished{CDGP08,
	url = {http://www.di.unito.it/~dezani/papers/cdgp08.pdf},
	title = {{General Session Types}},
	author = {Giuseppe Castagna and Dezani-Ciancaglini, Mariangiola and Giachino,
				 Elena and Padovani, Luca},
	year = {2008},
	note = {Full version:http://www.di.unito.it/~dezani/papers/cdgpFull.pdf},
}

@inproceedings{castagna09foundations,
	author = {Giuseppe Castagna  and others}, 
	title = {Foundations of session types},
	booktitle = {PPDP'09},
	year = {2009},
	pages = {219--230},
	publisher = {ACM},
}

@article{DBLP:journals/jfp/AbadiCPR95,
  author    = {Mart\'{\i}n Abadi and
               Luca Cardelli and
               Benjamin C. Pierce and
               Didier R{\'e}my},
  title     = {Dynamic Typing in Polymorphic Languages},
  journal   = {J. Funct. Program.},
  volume    = {5},
  number    = {1},
  year      = {1995},
  pages     = {111-130},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/toplas/AbadiCPP91,
  author    = {Mart\'{\i}n Abadi and
               Luca Cardelli and
               Benjamin C. Pierce and
               Gordon D. Plotkin},
  title     = {Dynamic Typing in a Statically Typed Language},
  journal   = {TOPLAS},
  volume    = {13},
  number    = {2},
  year      = {1991},
  pages     = {237-268},
}

@inproceedings{BeauxisPV08,
  author    = {Romain Beauxis and
               Catuscia Palamidessi and
               Frank D. Valencia},
  title     = {On the Asynchronous Nature of the Asynchronous pi-Calculus},
  booktitle = {Concurrency, Graphs and Models},
  year      = {2008},
  pages     = {473-492},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {5065},
}

@article{LauerNeedham79,
 author = {Lauer, Hugh C. and Needham, Roger M.},
 title = {On the duality of operating system structures},
 journal = {SIGOPS Oper. Syst. Rev.},
 volume = {13},
 number = {2},
 year = {1979},
 issn = {0163-5980},
 pages = {3--19},
 doi = {http://doi.acm.org/10.1145/850657.850658},
 publisher = {ACM},
 address = {New York, NY, USA}
}

@misc{Ousterhout96whythreads,
    author = {Ousterhout, John},
    booktitle = {USENIX Technical Conference},
    citeulike-article-id = {1221799},
    keywords = {events, threads},
    month = {January},
    posted-at = {2007-04-12 09:15:13},
    priority = {0},
    title = {Why Threads Are A Bad Idea (for most purposes)},
    year = {1996}
}

@inproceedings{Welsh01Seda,
	author = {Welsh, Matt   and Culler, David  E.  and Brewer, Eric  A. },
	booktitle = {SOSP'01},
	pages = {230--243},
	publisher = {ACM Press},
	title = {{SEDA: An Architecture for Well-Conditioned, Scalable Internet Services}},
	year = {2001}
}

@misc{libevent,
	title = {{Libevent}},
	key = {libevent},
	howpublished = {\url{http://www.monkey.org/~provos/libevent/}}	
}

@INPROCEEDINGS{Mazieres01atoolkit,
    author = {David Mazi\`{e}res and David Mazi Eres},
    title = {A Toolkit for User-Level File Systems},
    booktitle = {In Proc. Usenix Technical Conference},
    year = {2001},
    pages = {261--274}
}

@INPROCEEDINGS{Adya02cooperativetask,
    author = {Atul Adya and Jon Howell and Marvin Theimer and William J. Bolosky and John R. Douceur},
    title = {Cooperative Task Management without Manual Stack Management or, Event-driven Programming is Not the Opposite of Threaded Programming},
    booktitle = {In Proceedings of the 2002 Usenix ATC},
    year = {2002}
}
    
@inproceedings{vonBehren03why,
 author = {von Behren, Rob and Condit, Jeremy and Brewer, Eric},
 title = {Why events are a bad idea (for high-concurrency servers)},
 booktitle = {HOTOS'03},
 year = {2003},
 pages = {4--4},
 publisher = {USENIX Association},
 }

@inproceedings{cunningham05eel,
 author = {Cunningham, Ryan and Kohler, Eddie},
 title = {Making events less slippery with eel},
 booktitle = {HOTOS'05},
 year = {2005},
 pages = {3--3},
 }

@INPROCEEDINGS{Gay03thenesc,
    author = {David Gay and others}, 
    title = {{The nesC Language: A Holistic Approach to Networked Embedded Systems}},
    booktitle = {PLDI},
    year = {2003},
    pages = {1--11}
}

@inproceedings{krohn07events,
 author = {Krohn, Maxwell and Kohler, Eddie and Kaashoek, M. Frans},
 title = {Events can make sense},
 booktitle = {ATC'07},
 year = {2007},
 pages = {1--14},
 publisher = {USENIX Association},
 }

@inproceedings{vonBehren03capriccio,
 author = {Rob von Behren and others},
 title = {Capriccio: scalable threads for internet services},
 booktitle = {SOSP '03},
 year = {2003},
 pages = {268--281},
 publisher = {ACM},
 }


@inproceedings{krohn04building,
 author = {Krohn, Maxwell},
 title = "Building Secure High-performance Web Services with {OKWS}",
 booktitle = {ATEC'04},
 year = {2004},
 pages = {15--15},
 location = {Boston, MA},
 publisher = {USENIX Association},
 }

@article{li07combining,
 author = {Li, Peng and Zdancewic, Steve},
 title = {Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives},
 journal = {SIGPLAN Not.},
 volume = {42},
 number = {6},
 year = {2007},
 issn = {0362-1340},
 pages = {189--199},
 doi = {http://doi.acm.org/10.1145/1273442.1250756},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@article{HallerO09scala,
  author = {Philipp Haller and Martin Odersky},
  interHash = {4b21e506a8ed16db2867146125490f19},
  intraHash = {261b57417f8966e9947948c1344d055a},
  journal = {Theor. Comput. Sci.},
  number = {2-3},
  pages = {202-220},
  title = {Scala Actors: Unifying thread-based and event-based programming.},
  url = {http://dblp.uni-trier.de/db/journals/tcs/tcs410.html#HallerO09},
  volume = {410},
  year = {2009},
  ee = {http://dx.doi.org/10.1016/j.tcs.2008.09.019},
  date = {2009-01-21}
}

@inproceedings{mostrous09sessionbased,
 author = {Mostrous, Dimitris and Yoshida, Nobuko},
 title = {Session-Based Communication Optimisation for Higher-Order Mobile Processes},
 booktitle = {TLCA'09},
 year = {2009},
 pages = {203--218},
 publisher = {Springer},
 volume={5608},
series = {LNCS},
 }

@InProceedings{mostrous_yoshida_honda_esop09,
author = {Dimitris Mostrous and Nobuko Yoshida and Kohei Honda},
title = {Global Principal Typing in Partially Commutative Asynchronous Sessions},
series = {LNCS},
booktitle = {ESOP'09},
year = {2009},
number = {5502},
publisher = {Springer},
}


@article{AlpernSchneider85,
  author    = {Bowen Alpern and
               Fred B. Schneider},
  title     = {Defining Liveness},
  journal   = {Inf. Process. Lett.},
  volume    = {21},
  number    = {4},
  year      = {1985},
  pages     = {181-185},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{gay10modular,
	author = {Simon J. Gay and Vasco T. Vasconcelos and Antonio Ravara and Nils Gesbert and Alexandre Z. Caldeira},
	title = {{Modular Session Types for Distributed Object-Oriented Programming}},
	booktitle={POPL},
                  note = {To appear},
	year = {2010}
}

@inproceedings{confPi,
 author = {Anna Philippou and David Walker},
 title = {On Confluence in the pi-Calculus},
 booktitle = {ICALP'97},
 year = {1997},
 publisher = {Springer},
 series    = {Lecture Notes in Computer Science},
 volume    = {1256},
 pages     = {314-324}
 }

@article{subtypingBis,
 author = {Hennessy, Matthew and Rathke, Julian},
 title = {Typed behavioural equivalences for processes in the presence of subtyping},
 journal = {Mathematical. Structures in Comp. Sci.},
 volume = {14},
 number = {5},
 year = {2004},
 issn = {0960-1295},
 pages = {651--684},
 doi = {http://dx.doi.org/10.1017/S0960129504004281},
 publisher = {Cambridge University Press},
 address = {New York, NY, USA},
 }

@MastersThesis{dk,
  author = {Kouzapas, Dimitrios},
  title = {A Session Type Discipline for Event Driven Programming Models},
  school = {Imperial College London},
 note ={{http://www.doc.ic.ac.uk/teaching/distinguished-projects/2010/d.kouzapas.pdf}},
  year = {2009}
}

@inproceedings{eugster09eventjava,
	author = {Eugster, Patrick and Jayaram, K. R.},
	title = {EventJava: An Extension of {Java} for Event Correlation},
	booktitle = {ECOOP}, 
	year = {2009},
	pages = {570--594},
        series = {LNCS},
        volume = {5653}, 
	publisher = {Springer},
}

@inproceedings{bierman05essence,
  author    = {Gavin M. Bierman and
               Erik Meijer and
               Wolfram Schulte},
  title     = {The Essence of Data Access in C{\it mega}},
  booktitle = {ECOOP},
  year      = {2005},
  pages     = {287-311},
  ee        = {http://dx.doi.org/10.1007/11531142_13},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{itzstein04expression,
  author    = {G. Stewart Von Itzstein and
               David A. Kearney},
  title     = {The Expression of Common Concurrency Patterns in Join Java},
  booktitle = {PDPTA},
  year      = {2004},
  pages     = {1021-},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@Misc{smtp,
key={smtp},
title = {{The Simple Mail Transfer Protocol.}},
howpublished = {\url{http://tools.ietf.org/html/rfc5321}}
}

@Misc{cspoker,
key={cspoker},
title = {{CSPoker Project}},
howpublished = {\url{http://code.google.com/p/cspoker/}}
}


@inproceedings{CairesV09,
  author    = {Lu\'{\i}s Caires and
               Hugo Torres Vieira},
  title     = {Conversation Types},
  booktitle = {ESOP},
  year      = {2009},
  pages     = {285-300},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {5502},
}

@inproceedings{CP09,
author = {G. Castagna and L. Padovani},
title = {Contracts for Mobile Processes},
booktitle = {{CONCUR} 2009},
year = {2009},
number = {5710},
series = {LNCS},
pages     = {211-228}
}


@inproceedings{event,
  author    = {Raymond Hu and
               Dimitrios Kouzapas and
               Olivier Pernet and
               Nobuko Yoshida and
               Kohei Honda},
  title     = {Type-Safe Eventful Sessions in {J}ava},
  booktitle = {ECOOP'10},
  year      = {2010},
  pages     = {329-353},
 series =    {LNCS},
  volume    = {6183},
      publisher=Springer,
}

@misc{semantics,
key={semantics},
title = {On-line {A}ppendix of this paper},
howpublished = {\url{http://www.doc.ic.ac.uk/~dk208/semantics.html}}
}

@inproceedings{BL10,
author = {Franco Barbanera and Ugo de Liguoro},
title={Two Notions of Sub-behaviour for Session-based Client/Server Systems},
	booktitle = {PPDP'10},
	year = {2010},
	publisher = {ACM},
notes={To appear},
}

@article{linda-like,
 author = {Busi, Nadia and Gorrieri, Roberto and Zavattaro, Gianluigi},
 title = {Comparing three semantics for Linda-like languages},
 journal = {Theor. Comput. Sci.},
 volume = {240},
 number = {1},
 year = {2000},
 issn = {0304-3975},
 pages = {49--90},
 doi = {http://dx.doi.org/10.1016/S0304-3975(99)00227-3},
 publisher = {Elsevier Science Publishers Ltd.},
 address = {Essex, UK},
 }


@article{csp-availability-ext,
  title = "Extending CSP with tests for availability",
  author = "Gavin Lowe",
  year = "2009",
  journal = "Procedings of Communicating Process Architectures (CPA 2009)"
}


@article{csp-availability,
  title = {Models for {CSP} with availability information},
  author = {Gavin Lowe},
  year = {2010},
  journal = {Pre-proceeding for Express'10}
}

@article{HY02,
  author    = {Kohei Honda and
               Nobuko Yoshida},
  title     = {A uniform type structure for secure information flow},
  journal   = {TOPLAS},
  volume    = {29},
  number    = {6},
  year      = {2007},
}

@misc{ScribbleDevelopmentToolSite, 
key={ScribbleDevelopmentToolSite},
title = {Scribble Development Tool Site}, 
howpublished = {\url{http://www.jboss.org/scribble}}
}

@article{DbCMeyer,
 author = {Bertrand Meyer},
 title = {Applying ``{D}esign by {C}ontract''},
 journal = {Computer},
 volume = {25},
 number = {10},
 year = {1992},
 pages = {40--51},
 publisher = {IEEE},
 OPTaddress = {Los Alamitos, CA, USA},
 }

@inproceedings{BBDHIPRSS09,
author = {Andrew Baumann and others},
title={The multikernel: a new OS architecture for scalable multicore systems},
booktitle = {SOSP},
pages={29-44},
year = {2009},
publisher = {ACM},
}

 @mastersthesis{AnimeshTrivedi09,
   author =       {Animesh Trivedi},
   title =        {Hotplug in a multikernel operating system},
   school = 	 {ETH Zurich},
   year =         {2009}
 }

@inproceedings{BPSSRBI09,
 author = {Baumann, Andrew and Peter, Simon and Sch\"{u}pbach, Adrian and Singhania, Akhilesh and Roscoe, Timothy and Barham, Paul and Isaacs, Rebecca},
 title = {Your computer is already a distributed system. why isn't your OS?},
 booktitle = {HotOS'09: Proceedings of the 12th conference on Hot topics in operating systems},
 year = {2009},
 pages = {12--12},
 location = {Monte Verit\`{a}, Switzerland},
 publisher = {USENIX Association},
 address = {Berkeley, CA, USA},
 }

@inproceedings{yoshida.denielou.bejleri.hu10,
  author    = {Nobuko Yoshida and Pierre-Malo Deni{\'e}lou and Andi
                  Bejleri and Raymond Hu},
  title     = {Parameterised Multiparty Session Types},
  volume    = {6014},
  booktitle = {FoSSaCs'10},
  year      = {2010},
  pages     = {128-145},
  OPTaddress = {Paphos, Cyprus},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
}

@misc{WS-CDL:homepage,
author= {},
key={WS-CDL Working Group},
title = {WS-CDL Working Group homepage},
howpublished = {\url{http://www.w3.org/2002/ws/chor/}}
}

@misc{ooi,
key={ooi},
title = "{{O}cean {O}bservatories {I}nitiative ({OOI})}",
note="\url{http://www.oceanleadership.org/programs-and-partnerships/ocean-observing/ooi/}",
}

@inproceedings{SivaramakrishnanNZE10,
  author    = {K. C. Sivaramakrishnan and
               Karthik Nagaraj and
               Lukasz Ziarek and
               Patrick Eugster},
  title     = {Efficient Session Type Guided Distributed Interaction},
  booktitle = {Coordination'10},
  year      = {2010},
  pages     = {152-167},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {6116},
}

@inproceedings{Bufferfull,
  author = {Pierre-Malo Deni{\'e}lou and Nobuko Yoshida},
  title =  {Buffered Communication Analysis in Distributed Multiparty Sessions},
  note = {Full version, Prototype at \url{http://www.doc.ic.ac.uk/~pmalo/multianalysis}},
  series = {LNCS},
  booktitle = {CONCUR'10},
  publisher = {Springer},
  year = {2010},
pages     = {343-357},
volume    = {6269},
  }

@inproceedings{CorinDFBL09,
 author    = {
Karthikeyan Bhargavan and 
Ricardo Corin and Pierre-Malo Deni{\'e}lou and C{\'e}dric Fournet and James Leifer},
  title     = {Cryptographic Protocol Synthesis and Verification for Multiparty Sessions},
  booktitle = {CSF},
  year      = {2009},
pages     = {124-140}
}

@inproceedings{ccdr10,
  author = {Sara Capecchi and Ilaria Castellani and Mariangiola
            Dezani-Ciancaglini and Tamara Rezk},
  series = {LNCS},
  booktitle = {CONCUR'10},
  url = {http://www.di.unito.it/~dezani/papers/ccdr.pdf},
  title = {{Session Types for Access and Information Flow Control}},
  publisher = {Springer},
  year = {2010},
  pages     = {237-252},
volume    = {6269},
}

@inproceedings{BHTY10,
  series = {LNCS},
  author = {Laura Bocchi and Kohei Honda and Emilio Tuosto and Nobuko Yoshida},
  booktitle = {CONCUR'10},
  url = {http://www.cs.le.ac.uk/people/lb148/fullpaper.html},
  title = {A theory of design-by-contract for distributed multiparty interactions},
  publisher = {Springer},
  year = {2010},
  volume    = {6269},
  pages = {162-176},
}


@PhdThesis{Ng10,
   author =   {Nicholas Ng}, 
   title =    {High performance parallel design based on session programming},
   school =   {Department of Computing, Imperial College London},
   type={Masters thesis},
   OPTtype={{D}etica {P}rize for {T}echnical {I}nnovation {B}achelor's {T}hesis},
   note={\url{http://www.doc.ic.ac.uk/~cn06/individual-project/}},
   year =    2010 
}


@inproceedings{YoshidaVPH08,
  author    = {Nobuko Yoshida and
               Vasco Thudichum Vasconcelos and
               Herv{\'e} Paulino and
               Kohei Honda},
  title     = {Session-Based Compilation Framework for Multicore Programming},
  booktitle = {FMCO'08},
  pages     = {226-246},
  OPTeditor    = {Frank S. de Boer and
               Marcello M. Bonsangue and
               Eric Madelain},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {5751},
  year      = {2009},
}

@inproceedings{CGY10,
  author = {Sara Capecchi and Elena Giachino and Nobuko Yoshida},
  title = {Global Escape in Multiparty Session},
  booktitle = {FSTTCS'10},
  year = 2010,
  series = {LIPICS},
  note={To appear. \url{http://www.di.unito.it/~capecchi/mpe.pdf}}
}

@inproceedings{DY11,
  author = {Pierre-Malo Deni{\'e}lou and Nobuko Yoshida},
  title = {Dynamic Multirole Session Types},
  booktitle = {POPL'11},
  year = 2011,
  publisher = ACM,
  note={To appear. \url{http://www.doc.ic.ac.uk/~malo/dynamic}}
}


    @techreport{NYH09,
      author = {Lasse Nielsen and Nobuko Yoshida and Kohei Honda},
      title = {Multiparty Symmetric Sumtypes},
      institution = {Department of Computing, Imperial College London},
      number = {8},
      year = {2009},
      note= "To appear in Express'10. {Apims} Project at: \url{http://www.thelas.dk/index.php/apims}"
    }

@Misc{MSC,
 author = {{International Telecommunication Union}}, 
 title = {Recommendation \mbox{Z.120}: Message Sequence Chart},
 location = {Geneva}, 
 year = {1996}
}

@Misc{UML,
  title     = {{Unified Modelling Language, Version 2.0}},
  author = {{OMG}},
  year      = {2004},
}

@inproceedings{FX,
  author = {Nirmit Desai and Amit K. Chopra and Matthew Arrott and
                  Bill Specht and Munindar P. Singh},
  title = {Engineering Foreign Exchange Processes via Commitment
                  Protocols},
  journal ={Services Computing, IEEE International Conference on}, 
  isbn = {0-7695-2925-9},
  year = {2007},
  pages = {514-521},
  doi = {http://doi.ieeecomputersociety.org/10.1109/SCC.2007.58},
  publisher = {IEEE Computer Society},
  address = {Los Alamitos, CA, USA},
  booktitle = {IEEE SCC'07}
}

@inproceedings{DamasMilner,
  author    = {Lu\'{\i}s Damas and
               Robin Milner},
  title     = {Principal Type-Schemes for Functional Programs},
  booktitle = {POPL},
  year      = {1982},
  pages     = {207-212},
  ee        = {http://doi.acm.org/10.1145/582153.582176},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@book{AghaActors,
 author = {Agha, Gul},
 title = {Actors: a model of concurrent computation in distributed systems},
 year = {1986},
 isbn = {0-262-01092-5},
 publisher = {MIT Press},
 address = {Cambridge, MA, USA},
 }

@book{Erlang,
 author = {Armstrong, Joe},
 title = {Programming Erlang: Software for a Concurrent World},
 year = {2007},
 isbn = {193435600X, 9781934356005},
 publisher = {Pragmatic Bookshelf},
 }

@book{MDAFrankel,
	author = {David  S. Frankel},
	howpublished = {Paperback},
	isbn = {0471319201},
	month = {January},
	publisher = {Wiley},
	title = {Model Driven Architecture: Applying MDA to Enterprise Computing},
	url = {http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20\&amp;path=ASIN/0471319201},
	year = {2003}
}

@article{BroyKrugerMeisinger2007,
 author = {Broy, Manfred and Kr\"{u}ger, Ingolf H. and Meisinger, Michael},
 title = {A formal model of services},
 journal = {ACM Trans. Softw. Eng. Methodol.},
 volume = {16},
 number = {1},
 year = {2007},
 issn = {1049-331X},
 pages = {5},
 doi = {http://doi.acm.org/10.1145/1189748.1189753},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{Chave2009,
  author    = {Chave, A. and Arrott, M. and Farcas, C. and Farcas,
                  E. and Krueger, I. and Meisinger, M. and Orcutt,
                  J. and Vernon, F. and Peach, C. and Schofield,
                  O. and Kleinert, J.},  
  title = {{C}yberinfrastructure for the {US} {O}cean {O}bservatories {I}nitiative},
  booktitle = {Proc. IEEE OCEANS'09},
  year      = {2009},
  publisher = {IEEE}
}

@inproceedings{Jones83,
  author    = {Cliff B. Jones},
  title     = {Specification and Design of (Parallel) Programs},
  booktitle = {IFIP Congress},
  year      = {1983},
  pages     = {321-332},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  address={Paris, France}, 
  month={September}, 
  publisher={North-Holland/IFIP},
}

@article{Hoare1978,
 author = {Hoare, C. A. R.},
 title = {Communicating sequential processes},
 journal = {Commun. ACM},
 volume = {21},
 issue = {8},
 month = {August},
 year = {1978},
 issn = {0001-0782},
 pages = {666--677},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/359576.359585},
 doi = {http://doi.acm.org/10.1145/359576.359585},
 acmid = {359585},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {classes, concurrency, conditional critical regions, coroutines, data representations, guarded commands, input, iterative arrays, monitors, multiple entries, multiple exits, nondeterminacy, output, parallel programming, procedures, program structures, programming, programming languages, programming primitives, recursion},
}

@book{Jones80,
 author = {Jones, Cliff B.},
 title = {Software Development: A Rigorous Approach},
 year = {1980},
 isbn = {0138218846},
 publisher = {Prentice Hall PTR},
 address = {Upper Saddle River, NJ, USA},
}


@INPROCEEDINGS{BarnettLeino04,
    author = {Mike Barnett and K. Rustan M. Leino and Wolfram Schulte},
    title = {The Spec$\sharp$ Programming System: An Overview},
    booktitle = {CASSIS 2004},
    year = {2004},
    pages = {49--69},
    series    = {LNCS}, 
    publisher = {Springer}
}

@article{GemmeMontgomerySpeakmanBhaskarCrowcroftl2003,
    author = {Jim Gemmel and Todd Montgomery Talarian and Tony
                  Speakman and Nidhi Bhaskar and Jon Crowcroft},
    title = {The PGM Reliable Multicast Protocol},
 journal = {Network},
 volume = {17},
 number = {1},
 year = {2003},
 pages = {16--22},
 publisher = {IEEE},
}
