% Series

% @string{lncs="Lecture Notes in Computer Science"}
@string{lncs="LNCS"}

@InProceedings{KW11,
  author =       {Tadeusz Kobus and Pawe{\l} T. Wojciechowski},
  title =        {{RESTGroups} for Resilient {Web} Services},
  booktitle =    {Proceedings of SOFSEM '12: the 38th International Conference on Current Trends in Theory and Practice of Computer Science: Software & Web Engineering Track},
  OPTcrossref =  {},
  OPTkey =       {},
  editor =       {M\'aria Bielikov\'a et al.},
  volume =       {},
  number =       {7147},
  series =       lncs,
  year =         {2012},
  OPTorganization = {},
  publisher =    {},
  OPTaddress =   {},
  month =        jan,
  pages =        {505--517},
  note =         {To appear},
  OPTannote =    {}
}

@TechReport{EPFL-REPORT-167765,
  Author    =  {Jan Ko\'nczak and Nuno Santos and Tomasz \.Zurkowski and Pawe{\l} T. Wojciechowski and Andr\'e Schiper},
  title     =  {{JPaxos}: State Machine Replication Based on the {Paxos} Protocol},
  number    =  {EPFL-REPORT-167765},
  institution = {Facult\'e Informatique et Communications, EPFL},
  month     =  jul,
  year      =  {2011},
  note      =  {38pp}
}

@InProceedings{Woj11,
  author =       {Pawe{\l} T. Wojciechowski},
  title =        {Typed First-class Communication Channels and Mobility for Concurrent Scripting Languages},
  booktitle =    {Proceedings of SLE '11: the 4th International Conference on Software Language Engineering},
  OPTcrossref =  {},
  OPTkey =       {},
  editor =       {Uwe Aßmann and Anthony Sloane},
  volume =       {6940},
  OPTnumber =    {},
  series =       lncs,
  year =         {2011},
  OPTorganization = {},
  publisher =    {Springer},
  OPTaddress =   {},
  month =        jul,
  pages =        {},
  note =         {To appear. 10pp.},
  OPTannote =    {}
}

@inproceedings{KWM11,
  author =       {Sebastian Kochman and Pawe{\l} T. Wojciechowski and Mi{\l}osz Kmieciak},
  title =        {Batched Transactions for {RESTful Web} Services},
  booktitle =    {Proceedings of ComposableWeb '11: the 3rd International Workshop on Lightweight Integration on the Web (co-located with ICWE '11: the 11th International Conference on Web Engineering, Paphos, Cyprus)},
  OPTcrossref =  {},
  OPTkey =       {},
  editor =       {Andreas Harth and Nora Koch},
  volume =       {7059},
  OPTnumber =    {},
  series =       lncs,
  year =         {2011},
  OPTorganization = {},
  publisher =    {Springer},
  OPTaddress =   {},
  month =        jun,
  pages =        {86–-98},
  note =         {To appear},
  OPTannote =    {}
}

@InCollection{BDJ+10,
  author    = {Jerzy Brzezi\'nski and Arkadiusz Danilecki and Krzysztof Jankiewicz and Anna Kobusi\'nska and Mariusz Mamo\'nski and Tadeusz Morzy and Pawe{\l} T. Wojciechowski},
  title     =  {Transaction and Rollback-Recovery Support for {Service-Oriented Architecture}},
  booktitle = {{SOA Infrastructure Tools: Concepts and Methods}},
  publisher = {Pozna\'n University of Economics Press},
  editor    = {Stanis{\l}aw Ambroszkiewicz and Jerzy Brzezi\'nski and Wojciech Cellary and Adam Grzech and Krzysztof Zieli\'nski},
  pages     = {117--152},
  year      = {2010},
  isbn      = {978-83-7417-544-9}
}

@InCollection{BKL+10,
  author    = {Jerzy Brzezi\'nski and Micha{\l} Kalewski and Marek Libuda and Cezary Sobaniec and Dariusz Wawrzyniak and Pawe{\l} T. Wojciechowski and Piotr Wysocki},
  title     = {Replication Tools for {Service-Oriented Architecture}},
  booktitle = {{SOA Infrastructure Tools: Concepts and Methods}},
  publisher = {Pozna\'n University of Economics Press},
  editor    = {Stanis{\l}aw Ambroszkiewicz and Jerzy Brzezi\'nski and Wojciech Cellary and Adam Grzech and Krzysztof Zieli\'nski},
  pages     = {153--180},
  year      = {2010},
  isbn      = {978-83-7417-544-9}
}

@InProceedings{SW10,
  author =       {Konrad Siek and Pawe{\l} T. Wojciechowski},
  title =        {Statically Computing Upper Bounds on Object Calls for Pessimistic Concurrency Control},
  booktitle =    {Proceedings of $(EC)^2$ '10: Workshop on Exploiting Concurrency Efficiently and Correctly (co-located with CAV '10: the 22nd International Conference on Computer Aided Verification, Edinburgh, UK)},
  OPTcrossref =  {},
  OPTkey =       {},
  editor =       {},
  volume =       {},
  OPTnumber =    {},
  OPTseries =    {},
  year =         {2010},
  OPTorganization = {},
  publisher =    {},
  OPTaddress =   {},
  month =        jul,
  pages =        {},
  note =         {5pp},
  OPTannote =    {}
}

@InProceedings{KW10,
  author =       {Tadeusz Kobus and Pawe{\l} T. Wojciechowski},
  title =        {A 90\% RESTful Group Communication Service},
  booktitle =    {Proceedings of DCDP '10: Workshop on Decentralized Coordination of Distributed Processes (Amsterdam, The Netherlands)},
  OPTcrossref =  {},
  OPTkey =       {},
  editor =       {},
  volume =       {},
  OPTnumber =    {},
  OPTseries =    {},
  year =         {2010},
  OPTorganization = {},
  publisher =    {},
  OPTaddress =   {},
  month =        jun,
  pages =        {},
  note =         {An extended abstract appeared in EPTCS volume on-line. A full version published as Technical Report RA-2/10, Institute of Computing Science, Pozna\'n University of Technology},
  OPTannote =    {}
}

@TechReport{KW10-tr,
  author =       {Tadeusz Kobus and Pawe{\l} T. Wojciechowski},
  title =        {A 90\% RESTful Group Communication Service},
  institution =  {Institute of Computing Science, Pozna\'n University of Technology},
  year =         {2010},
  OPTkey =       {},
  OPTtype =      {},
  number =       {RA-02/10},
  OPTaddress =   {},
  month =        may,
  note =         {19pp},
  OPTannote =    {}
}

@Article{SWU10,
  author =       {Peter Sewell and Pawe{\l} T. Wojciechowski and Asis Unyapoth},
  title =        {{Nomadic Pict}: Programming Languages, Communication Infrastructure Overlays, and Semantics for Mobile Computation},
  journal =      {{ACM Transactions on Programming Languages and Systems (TOPLAS)}},
  year =         {2010},
  OPTkey =       {},
  volume =       32,
  number =       4,
  month =        apr,
  pages =        {1--63},
  note =         {},
  OPTannote =    {}
}

@InProceedings{Woj08,
  author =       {Pawe{\l} T. Wojciechowski},
  title =        {Extending Atomic Tasks to Distributed Atomic Tasks},
  booktitle =    {Proceedings of the $(EC)^2$ Workshop on Exploiting Concurrency Efficiently and Correctly (co-located with CAV '08: the 20th International Conference on Computer Aided Verification, Princeton, USA)},
  OPTcrossref =  {},
  OPTkey =       {},
  editor =       {},
  volume =       {},
  OPTnumber =    {},
  OPTseries =    {},
  year =         {2008},
  OPTorganization = {},
  publisher =    {},
  OPTaddress =   {},
  month =        {July},
  pages =        {},
  note =         {},
  OPTannote =    {}
}

@InProceedings{SW08,
  author =       {Peter Sewell and Pawe{\l} T. Wojciechowski},
  title =        {Verifying Overlay Networks for Relocatable Computations (or: Nomadic Pict, relocated)},
  booktitle =    {Proceedings of the Workshop on the Rise and Rise of the Declarative Datacentre (Cambridge, UK)},
  OPTcrossref =  {},
  OPTkey =       {},
  editor =       {},
  volume =       {},
  OPTnumber =    {},
  OPTseries =    {},
  year =         {2008},
  OPTorganization = {},
  publisher =    {},
  OPTaddress =   {},
  month =        {May},
  pages =        {},
  note =         {Appeared as Microsoft Research Technical Report MSR-TR-2008-61},
  OPTannote =    {}
}

@Book{Woj07,
  author =       "Pawe{\l} T. Wojciechowski",
  title =        "Language Design for Atomicity, Declarative Synchronization, and Dynamic Update in Communicating Systems",
  publisher =    "Wydawnictwo Politechniki Pozna\'nskiej",
  OPTpublisher =    "The Pozna\'n University of Technology Press",
  year =         "2007",
  number =       "",
  series =       "",
  address =      "Pl. Marii Sk{\l}odowskiej-Curie 2, Pozna\'n 60-965, Poland",
  edition =      "1st",
  ISSN  =        "0551-6528",
  ISBN =         "978-83-7143-323-8",
  note =         "204pp",
}
@InProceedings{Woj06b,
  author =       {Pawe{\l} T. Wojciechowski},
  title =        {Scalable Message Routing for Mobile Software Assistants},
  booktitle =    {Proceedings of EUC '06: the 2006 IFIP International Conference on Embedded And Ubiquitous Computing (Seoul, Korea)},
  OPTcrossref =  {},
  OPTkey =       {},
  editor =       {Edwin Sha and Sung-Kook Han and Cheng-Zhong Xu and Moon-Hae Kim and Laurence T. Yang and Bin Xiao},
  volume =       {4096},
  OPTnumber =    {},
  series =       lncs,
  year =         {2006},
  OPTorganization = {},
  publisher =    {Springer},
  OPTaddress =   {},
  month =        {August},
  pages =        {355--364},
  note =         {},
  OPTannote =    {}
}
@TechReport{Woj06b-tr,
  author =       {Pawe{\l} T. Wojciechowski},
  title =        {Scalable Message Routing for Mobile Software Assistants},
  institution =  {Institute of Computing Science, Pozna\'n University of Technology},
  year =         {2006},
  OPTkey =       {},
  OPTtype =      {},
  number =       {RA-010/06},
  OPTaddress =   {},
  month =        may,
  note =         {22pp},
  OPTannote =    {}
}
@InProceedings{Woj06,
  author =       {Pawe{\l} T. Wojciechowski},
  title =        {A Class-Based Object Calculus of Dynamic Binding: Reduction and Properties},
  booktitle =    {Proceedings of SC '06: the 5th IFIP International Symposium on Software Composition (co-located with ETAPS '06, Vienna, Austria)},
  OPTcrossref =  {},
  OPTkey =       {},
  editor =       {Welf L\"owe and Mario S\"udholt},
  volume =       {4089},
  OPTnumber =    {},
  series =       lncs,
  year =         {2006},
  OPTorganization = {},
  publisher =    {Springer},
  OPTaddress =   {},
  month =        {March},
  pages =        {131--146},
  note =         {},
  OPTannote =    {}
}
@InProceedings{BFMNRSW06,
  author =       {Daniel B{\"u}nzli and Rachele Fuzzati and Sergio Mena and Uwe Nestmann and Olivier R{\"u}tti and Andr\'e Schiper and Pawe{\l} T. Wojciechowski},
  title =        {Advances in the Design and Implementation of Group Communication Middleware},
  booktitle =    {Dependable Systems: Software, Computing, Networks},
  OPTcrossref =  {},
  OPTkey =       {},
  editor =       {J{\"u}rg Kohlas and Bertrand Meyer and Andr\'e Schiper},
  volume =       {4028},
  OPTnumber =    {},
  series =       lncs,
  year =         {2006},
  OPTorganization = {},
  publisher =    {Springer},
  OPTaddress =   {},
  month =        {September},
  pages =        {172--194},
  note =         {},
  OPTannote =    {}
}
@InProceedings{RWS06b,
  author =       {Olivier R{\"u}tti and Pawe{\l} T. Wojciechowski and Andr\'e Schiper},
  title =        {Structural and Algorithmic Issues of Dynamic Protocol Update},
  booktitle =    {Proceedings of IPDPS '06: the 20th IEEE International Parallel and Distributed Processing Symposium (Rhodes Island, Greece)},
  OPTcrossref =  {},
  OPTkey =       {},
  OPTeditor =    {},
  OPTvolume =    {},
  OPTnumber =    {},
  OPTseries =    {},
  year =         {2006},
  OPTorganization = {},
  publisher =    {IEEE Computer Society},
  OPTaddress =   {},
  month =        apr,
  OPTpages =     {},
  note =         {},
  OPTannote =    {},
}
@InProceedings{RWS06,
  author =       {Olivier R{\"u}tti and Pawe{\l} T. Wojciechowski and Andr\'e Schiper},
  title =        {{Service Interface}: A New Abstraction for Implementing and Composing Protocols},
  booktitle =    {Proceedings of SAC '06: the 21st ACM Symposium on Applied Computing - Track on Dependable and Adaptive Distributed Systems (Dijon, France)},
  OPTcrossref =  {},
  OPTkey =       {},
  OPTeditor =    {},
  OPTvolume =    {},
  OPTnumber =    {},
  OPTseries =    {},
  year =         {2006},
  OPTorganization = {},
  publisher =    {ACM Press},
  OPTaddress =   {},
  month =        apr,
  pages =        {691--696},
  note =         {},
  OPTannote =    {},
}
@InProceedings{Woj05b,
  author =       {Pawe{\l} T. Wojciechowski},
  title =        {Isolation-only Transactions by Typing and Versioning},
  booktitle =    {Proceedings of PPDP '05: the 7th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming (Lisboa, Portugal)},
  OPTcrossref =  {},
  OPTkey =       {},
  OPTeditor =    {},
  OPTvolume =    {},
  OPTnumber =    {},
  OPTseries =    {},
  year =	 {2005},
  OPTorganization = {},
  OPTpublisher = {ACM Press},
  OPTaddress =   {},
  month =        jul,
  OPTpages =     {},
  OPTnote =      {},
  OPTannote =    {}
}
@TechReport{RWS05-tr,
  author =       {Olivier R{\"u}tti and Pawe{\l} T. Wojciechowski and Andr\'e Schiper},
  title =        {Dynamic Update of Distributed Agreement Protocols},
  institution =  {School of Computer and Communication Sciences, Ecole Polytechnique F\'{e}d\'{e}rale de Lausanne (EPFL)},
  year =         {2005},
  OPTkey =       {},
  OPTtype =      {},
  number =       {IC-2005-012},
  OPTaddress =   {},
  month =        mar,
  note =         {25pp},
  OPTannote =    {}
}
@InProceedings{Woj05,
  author =       {Pawe{\l} T. Wojciechowski},
  title =        {Typing for Reliable Distributed Systems - Recent Advances},
  booktitle =    {Proceedings of DSN '05 IEEE Workshop on Dependable Software - Tools and Methods (Yokohama, Japan)},
  OPTcrossref =  {},
  OPTkey =       {},
  OPTeditor =    {},
  OPTvolume =    {},
  OPTnumber =    {},
  OPTseries =    {},
  year =         {2005},
  OPTorganization = {},
  OPTpublisher = {IEEE Computer Society},
  OPTaddress =   {},
  month =        jun,
  OPTpages =     {},
  OPTnote =      {},
  OPTannote =    {}
}
@inproceedings{WR05,
  title =        "On Correctness of Dynamic Protocol Update",
  author =       "Pawe{\l} T. Wojciechowski and Olivier R{\"u}tti",
  booktitle =    "Proceedings of FMOODS '05: the 7th IFIP Conference on Formal Methods for Open Object-Based Distributed Systems (Athens, Greece)",
  editor =       "Martin Steffen and Gianluigi Zavattaro",
  publisher =    "Springer",
  series =       lncs,
  volume =       "3535",
  month =        jun,
  year =         "2005",
  OPTnote =      "",
  pages =        "275--289"
}
@inproceedings{TW05,
  title =        "Role-Based Declarative Synchronization for Reconfigurable Systems",
  author =       "Vlad Tanasescu and Pawe{\l} T. Wojciechowski",
  booktitle =    "Proceedings of PADL '05: the 7th International Symposium on Practical Aspects of Declarative Languages (Long Beach, CA, USA)",
  editor =       "Manuel Hermenegildo and Daniel Cabeza",
  publisher =    "Springer",
  series =       lncs,
  volume =       3350,
  month =        jan,
  year =         "2005",
  note =         "",
  pages =        "52--66"
}
@TechReport{Woj04-tr,
  author =       {Pawe{\l} T. Wojciechowski},
  title =        {Isolation-only Transactions by Typing and Versioning},
  institution =  {School of Computer and Communication Sciences, Ecole Polytechnique F\'{e}d\'{e}rale de Lausanne (EPFL)},
  year =         {2004},
  OPTkey =       {},
  OPTtype =      {},
  number =       {IC-2004-104},
  OPTaddress =   {},
  month =        dec,
  note =         {47pp},
  OPTannote =    {}
}
@InProceedings{Woj04,
  author =       "Pawe{\l} T. Wojciechowski",
  title =        "Concurrency Combinators for Declarative Synchronization",
  booktitle =    "Proceedings of APLAS '04: the 2nd Asian Symposium on Programming Languages and Systems (Taipei, Taiwan)",
  editor =       "Wei-Ngan Chin",
  publisher =    "Springer",
  series =       lncs,
  volume =       3302,
  month =        nov,
  year =         "2004",
  pages =        "163--178"
}
@InProceedings{WRS04,
  author =       "Pawe{\l} T. Wojciechowski and Olivier R{\"u}tti and Andr\'e Schiper",
  title =        "{SAMOA}: A Framework for a Synchronisation-Augmented Microprotocol Approach",
  booktitle =    "Proceedings of IPDPS '04: the 18th IEEE International Parallel and Distributed Processing Symposium (Santa Fe, USA)",
  OPTeditor =    "",
  OPTpublisher = "IEEE Computer Society",
  OPTseries =    "",
  OPTvolume =    "",
  month =        apr,
  year =         "2004"
}
@InProceedings{MSW03,
  author =       "Sergio Mena and Andr\'e Schiper and Pawe{\l} T. Wojciechowski",
  title =        "A Step Towards a New Generation of Group Communication Systems",
  booktitle =    "Proceedings of Middleware '03: the 4th ACM/IFIP/USENIX International Middleware Conference (Rio de Janeiro, Brazil)",
  editor =       "Markus Endler and Douglas Schmidt",
  publisher =    "Springer",
  series =       lncs,
  volume =       2672,
  month =        jun,
  year =         "2003",
  pages =        "414--432"
}
@TechReport{MSW03-tr,
  author =       "Sergio Mena and Andr\'e Schiper and Pawe{\l} T. Wojciechowski",
  title =        "A Step Towards a New Generation of Group Communication Systems",
  number =       "IC-2003-01",
  institution =  "School of Computer and Communication Sciences, Ecole Polytechnique F\'{e}d\'{e}rale de Lausanne (EPFL)",
  month =        jan,
  year =         "2003"
}
@InProceedings{WMS02,
  author =       "Pawe{\l} T. Wojciechowski and Sergio Mena and Andr\'e Schiper",
  title =        "Semantics of Protocol Modules Composition and Interaction",
  booktitle =    "Proceedings of COORDINATION '02: the fifth International Conference on Coordination Models and Languages (York, UK)",
  editor =       "Farhad Arbab and Carolyn Talcott",
  publisher =    "Springer",
  series =       lncs,
  volume =       2315,
  month =        apr,
  year =         "2002",
  pages =        "389--404"
}

@TechReport{WMS02-tr,
  author =       "Pawe{\l} T. Wojciechowski and Sergio Mena and Andr\'e Schiper",
  title =        "Semantics of Protocol Modules Composition and Interaction",
  number =       "IC-2002-2",
  institution =  "School of Computer and Communication Sciences, Ecole Polytechnique F\'{e}d\'{e}rale de Lausanne (EPFL)",
  month =        feb,
  year =         "2002",
  note =         "33pp"
}
@TechReport{Woj05-tr,
  author =       {Pawe{\l} T. Wojciechowski},
  title =        {Communication Infrastructure Design for Wide-Area Mobile Computation: Specification in {N}omadic {P}ict},
  institution =  {School of Computer and Communication Sciences, Ecole Polytechnique F\'{e}d\'{e}rale de Lausanne (EPFL)},
  year =         {2005},
  OPTkey =       {},
  OPTtype =      {},
  number =       {LSR-2005-01},
  OPTaddress =   {},
  month =        aug,
  note =         {27pp},
  OPTannote =    {}
}
@InProceedings{Woj01,
  author =       "Pawe{\l} T. Wojciechowski",
  title =        "Algorithms for Location-Independent Communication between Mobile Agents",
  booktitle =    "Proceedings of AISB '01 Symposium on Software Mobility and Adaptive Behaviour (York, UK)",
  OPTeditor =    "",
  OPTpublisher = "",
  OPTseries =    "",
  OPTvolume =    "",
  year =         "2001",
  month =        "March",
  OPTpages =     "10--19",
  note =         "Also published as Technical Report IC-2001-13, School of Computer and Communication Sciences, Ecole Polytechnique F\'{e}d\'{e}rale de Lausanne (EPFL)"
}
@TechReport{Woj01-tr,
  author =       {Pawe{\l} T. Wojciechowski},
  title =        {Algorithms for Location-Independent Communication between Mobile Agents},
  institution =  {School of Computer and Communication Sciences, Ecole Polytechnique F\'{e}d\'{e}rale de Lausanne (EPFL)},
  year =         {2001},
  OPTkey =       {},
  OPTtype =      {},
  number =       {IC-2001-13},
  OPTaddress =   {},
  month =        mar,
  note =         {24pp},
  OPTannote =    {}
}
@TechReport{Woj00-tr,
  author =       {Pawe{\l} T. Wojciechowski},
  title =        {Nomadic {P}ict: Language and Infrastructure Design for Mobile Computation},
  institution =  {Computer Laboratory, University of Cambridge},
  year =         {2000},
  OPTkey =       {},
  OPTtype =      {},
  number =       {492},
  OPTaddress =   {},
  month =        jun,
  note =         {184pp},
  OPTannote =    {}
}
@PhdThesis{Woj00,
  author =       "Pawe{\l} T. Wojciechowski",
  title =        "Nomadic {P}ict: Language and Infrastructure Design for Mobile Computation",
  school =       "University of Cambridge",
  year =         "2000",
  OPTcrossref =  "",
  OPTkey =       "",
  OPTaddress =   "",
  month =        jun,
  OPTtype =      "",
  note =         "Also published as Technical Report 492, Computer Laboratory, University of Cambridge. 184pp",
  OPTannote =    ""
}
@manual{Woj00-man,
  author =       {Pawe{\l} T. Wojciechowski},
  title =        {Nomadic {P}ict. Documentation and User's Manual},
  OPThowpublished = {Available from \url{http://www.cs.put.poznan.pl/pawelw/npict/}},
  year =         {2000},
  month =        dec,
  note =         {Available as part of the {N}omadic {P}ict distribution from \url{http://www.cs.put.poznan.pl/pawelw/npict/}},
  OPTannote =    {}
}
@Article{WS00,
  author =       {Pawe{\l} T. Wojciechowski and Peter Sewell},
  title =        {Nomadic {P}ict: Language and Infrastructure Design for Mobile Agents},
  journal =      {{IEEE} {C}oncurrency},
  year =         {2000},
  OPTkey =       {},
  volume =       {8},
  number =       {2},
  month =        {April--June},
  pages =        {42--52},
  note =         {Invited submission for ASA/MA '99. },
  OPTannote =    {}
}
@InProceedings{WS99,
  author =       {Pawe{\l} T. Wojciechowski and Peter Sewell},
  title =        {Nomadic {P}ict: Language and Infrastructure Design for Mobile Agents},
  booktitle =    {Proceedings of ASA/MA '99: Symposium on Agent Systems and Applications/Mobile Agents (Palm Springs, CA, USA)},
  OPTcrossref =  {},
  OPTkey =       {},
  OPTeditor =    {},
  OPTvolume =    {},
  OPTnumber =    {},
  OPTseries =    {},
  year =         {1999},
  OPTorganization = {},
  publisher =    {IEEE Computer Society},
  OPTaddress =   {},
  month =        oct,
  pages =        {2--12},
  note =         {Best paper award},
  OPTannote =    {}
}
@InProceedings{SWP99,
  author =       {Peter Sewell and Pawe{\l} T. Wojciechowski and Benjamin C. Pierce},
  title =        {Location-Independent Communication for Mobile Agents: a Two-Level Architecture},
  booktitle =    {Internet Programming Languages},
  OPTcrossref =  {},
  OPTkey =       {},
  editor =       {Henri~E. Bal and Boumediene Belkhouche and Luca Cardelli},
  volume =       {1686},
  OPTnumber =    {},
  series =       lncs,
  year =         {1999},
  OPTorganization = {},
  publisher =    {Springer},
  OPTaddress =   {},
  month =        oct,
  pages =        {1--31},
  note =         {},
  OPTannote =    {}
}
@TechReport{SWP99-tr,
  author =       {Peter Sewell and Pawe{\l} T. Wojciechowski and  Benjamin C. Pierce},
  title =        {Location-Independent Communication for Mobile Agents: a Two-Level Architecture},
  institution =  {Computer Laboratory, University of Cambridge},
  year =         {1999},
  OPTkey =       {},
  OPTtype =      {},
  number =       {462},
  OPTaddress =   {},
  month =        apr,
  note =         {31pp.},
  OPTannote =    {}
}
@InProceedings{SWP98,
  author =       {Peter Sewell and Pawe{\l} T. Wojciechowski and  Benjamin C. Pierce},
  title =        {Location Independence for Mobile Agents},
  booktitle =    {Proceedings of the Workshop on Internet Programming Languages (Chicago, USA)},
  OPTcrossref =  {},
  OPTkey =       {},
  OPTeditor =    {},
  OPTvolume =    {},
  OPTnumber =    {},
  OPTseries =    {},
  year =         {1998},
  OPTorganization = {},
  OPTpublisher = {},
  OPTaddress =   {},
  month =        may,
  OPTpages =     {},
  note =         {},
  OPTannote =    {}
}