@misc{reid:e-on-cl,
  author = {Kevin Reid},
  title  = {{E on Common Lisp}},
  year   = 2005,
  note   = {\\{\tt homepage.mac.com/kpreid/elang/e-on-cl/}},
  url    = "homepage.mac.com/kpreid/elang/e-on-cl/"
}

@misc{kay:ma,
  author = {Alan Kay},
  title  = {prototypes vs classes},
  year   = 1998,
  note = {\\{\tt lists.squeakfoundation.org/pipermail/\-squeak-dev/1998-October/017019.html}},
  url = "lists.squeakfoundation.org/pipermail/\-squeak-dev/1998-October/017019.html"
}

@article{udi:objects,
  author    = {Ehud Y. Shapiro and
               Akikazu Takeuchi},
  title     = {Object Oriented Programming in Concurrent Prolog.},
  journal   = {New Generation Comput.},
  volume    = {1},
  number    = {1},
  year      = {1983},
  pages     = {25-48},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@incollection{udi:objects:collected,
  AUTHOR = {E. Shapiro and A. Takeuchi},
  TITLE = {Object Oriented Programming in Concurrent Prolog},
  YEAR = 1987,
  BOOKTITLE = {Concurrent Prolog: Collected Papers (Volume II)},
  EDITOR = {E. Shapiro},
  PUBLISHER = {MIT Press},
  ADDRESS = {London},
  PAGES = {251-273},
  KEYWORDS = {}}

@article{harel:higraph,
 author = {David Harel},
 title = {On visual formalisms},
 journal = {Commun. ACM},
 volume = {31},
 number = {5},
 year = {1988},
 issn = {0001-0782},
 pages = {514--530},
 doi = {http://doi.acm.org/10.1145/42411.42414},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@misc{twisted,
  author = {Glyph Lefkowitz},
  title = {Generalization of Deferred Execution in {Python}},
  note = {\\{\tt python.org/pycon/papers/deferex/}},
  url = "python.org/pycon/papers/deferex/"
}

@phdthesis{fielding:rest,
 author = {Roy Thomas Fielding},
 note = {Chair-Richard N. Taylor},
 title = {Architectural styles and the design of network-based software architectures},
 year = {2000},
 isbn = {0-599-87118-0},
 order_no = {AAI9980887}},
 }

@Dissertation{reed:namos,
  title =        "Naming and synchronization in a decentralized computer
                 system.",
  author =       "David Patrick Reed",
  publisher =    "Massachusetts Institute of Technology",
  year =         "1978",
  month =        jan # "~01",
  format =       "image/tiff; text/plain; image/gif",
  identifier =   "hdl:0018.mit.theses/1978-38",
  subject =      "Electronic data processing; Electronic digital
                 computers; Computer networks",
  URL =          "http://theses.mit.edu:80/Dienst/UI/2.0/Describe/0018.mit.theses/1978-38",
}

@misc{gold:promises,
  author = {Mark S. Miller},
  title = {Transcript of talk: The Promise System},
  year = 1992,
  note = {\\{\tt sunless-sea.net/Transcripts/promise.html}},
  url = "sunless-sea.net/Transcripts/promise.html"
}

@misc{bejar:gc,
  author = {Arturo Bejar},
  title = {The {Electric Communities} Distributed Garbage Collector},
  year = 1996,
  note = {\\{\tt http://www.crockford.com/ec/dgc.html}},
  url = "http://www.crockford.com/ec/dgc.html"
}

@misc{jed:dccs,
  author = {Jed Donnelley},
  title = {A {Distributed Capability Computing System}},
  year = 1976,
  url = "nersc.gov/\twiddle jed/papers/DCCS/"
}

@misc{tyler:webcalc,
  author = {Tyler Close},
  title = {web-calculus},
  year = 2004,
  note = {\\{\tt www.waterken.com/dev/Web/}},
  url = "www.waterken.com/dev/Web/"
}

@misc{tyler:yurl,
  author = {Tyler Close},
  title = {Waterken {YURL}},
  year = 2004,
  note = {\\{\tt www.waterken.com/dev/YURL/httpsy/}},
  url = "www.waterken.com/dev/YURL/httpsy/"
}

@misc{shroff:match,
  author = {Paritosh Shroff and Scott F. Smith},
  title = {Type Inference for First-Class Messages with Match-Functions},
  year = 2004,
  url = "cs.jhu.edu/\twiddle pari/papers/fool2004/first-class\_FOOL2004.pdf"
}

@misc{hoare65,
  author = {C.A.R Hoare},
  title = {Record Handling, in {Algol Bulletin} 21.3.6},
  year = 1965,
  url = "www.softeng.ox.ac.uk/Jeremy.Gibbons/\-wg21/algol-bulletin/A21/P36.HTM"
}

@misc{zooko:hell,
  author =     {Bryce ``Zooko'' Wilcox-O'Hearn},
  title =      "Deadlock-free",
  year =       2001,
 note = {\\{\tt www.eros-os.org/pipermail/e-lang/2001-July/005410.html}},
  url =        "www.eros-os.org/pipermail/e-lang/2001-July/005410.html"
}

@incollection{tulloh:abstraction,
  author =       "Bill Tulloh and Mark S. Miller",
  title =        "Institutions as Abstraction Boundaries",
  year =         "2002",
  booktitle =    "Social Learning: Essays in Honor of {Don Lavoie}",
  editor =       "Jack High"
}


@incollection{miller:agoric,
  author =       "Mark Miller and K. Eric Drexler",
  title =        "{Markets and computation: Agoric open systems}",
  booktitle =    "The Ecology of Computation",
  editor =       "Bernardo Huberman",
  year =         "1988",
  pages =        "133--176",
  publisher =    "North-Holland"
}

@incollection{Shapiro:merge,
  AUTHOR = {E. Shapiro and C. Mierowsky},
  TITLE = {Fair, Biased, and Self-Balancing Merge Operators: Their Specification and Implementation in {Concurrent Prolog}},
  YEAR = 1987,
  BOOKTITLE = {Concurrent Prolog: Collected Papers (Volume I)},
  EDITOR = {Ehud Shapiro},
  PUBLISHER = {MIT Press},
  ADDRESS = {London},
  PAGES = {392-413},
  KEYWORDS = {}}

@article{hewitt:challenge,
 author = {Carl Hewitt},
 title = {The challenge of open systems:  current logic programming
                  methods may be insufficient for developing the
                  intelligent systems of the future}, 
 journal = {BYTE},
 volume = {10},
 number = {4},
 year = {1985},
 issn = {0360-5280},
 pages = {223--242},
 publisher = {McGraw-Hill, Inc.},
 address = {Hightstown, NJ, USA},
 }

@article{dsm-survey,
   author    = {B. Nitzberg and V. Lo},
   title     = {{Distributed Shared Memory: A Survey of Issues and
                  Algorithms}}, 
   journal   = IEEEC,
   year      = 1991,
   month     = aug ,
   volume    = 24,
   number    = 8,
   pages     = {52--60},
   mynote    = {Also in T. Casavant and M. Singhal, editors, Readings
                  in Distributed Computing Systems, pages 375--386,
                  IEEE Press, 1994.}, 
   xx        = {yes}
}

@inproceedings{waldo:note,
 author = {Jim Waldo and Geoff Wyant and Ann Wollrath and Samuel C. Kendall},
 title = {A Note on Distributed Computing},
 booktitle = {MOS '96: Selected Presentations and Invited Papers
                  Second International Workshop on Mobile Object
                  Systems - Towards the Programmable Internet}, 
 year = {1997},
 isbn = {3-540-62852-5},
 pages = {49--64},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }

@article{castro:bft,
 author = {Miguel Castro and Barbara Liskov},
 title = {Practical byzantine fault tolerance and proactive recovery},
 journal = {ACM Trans. Comput. Syst.},
 volume = {20},
 number = {4},
 year = {2002},
 issn = {0734-2071},
 pages = {398--461},
 doi = {doi.acm.org/10.1145/571637.571640},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@article{partition-aware,
 author = {\"{O}zalp Babao\u{g}lu and Renzo Davoli and Alberto
                  Montresor and Roberto Segala}, 
 title = {System support for partition-aware network applications},
 journal = {SIGOPS Oper. Syst. Rev.},
 volume = {32},
 number = {1},
 year = {1998},
 issn = {0163-5980},
 pages = {41--56},
 doi = {doi.acm.org/10.1145/280559.280567},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@article{bancomat,
 author = {Jeremy Sussman and Keith Marzullo},
 title = {The Bancomat problem: an example of resource allocation in a
                  partitionable asynchronous system},
 journal = {Theor. Comput. Sci.},
 volume = {291},
 number = {1},
 year = {2003},
 issn = {0304-3975},
 pages = {103--131},
 doi = {dx.doi.org/10.1016/S0304-3975(01)00398-X},
 publisher = {Elsevier Science Publishers Ltd.},
 address = {Essex, UK},
 }

@inproceedings{shapiro:eros,
 author = {Jonathan S. Shapiro and Jonathan M. Smith and David J. Farber},
 title = {{EROS}: a fast capability system},
 booktitle = {SOSP '99: Proceedings of the seventeenth ACM symposium
                  on Operating systems principles}, 
 year = {1999},
 isbn = {1-58113-140-2},
 pages = {170--185},
 location = {Charleston, South Carolina, United States},
 doi = {doi.acm.org/10.1145/319151.319163},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@article{hardy:keykos,
 author = {Norman Hardy},
 title = {{KeyKOS} architecture},
 journal = {SIGOPS Oper. Syst. Rev.},
 volume = {19},
 number = {4},
 year = {1985},
 issn = {0163-5980},
 pages = {8--25},
 doi = {doi.acm.org/10.1145/858336.858337},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@article{bal:survey,
 author = {Henri E. Bal and Jennifer G. Steiner and Andrew S. Tanenbaum},
 title = {Programming languages for distributed computing systems},
 journal = {ACM Comput. Surv.},
 volume = {21},
 number = {3},
 year = {1989},
 issn = {0360-0300},
 pages = {261--322},
 doi = {doi.acm.org/10.1145/72551.72552},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@article{chandy:snapshots,
 author = {K. Mani Chandy and Leslie Lamport},
 title = {Distributed snapshots: determining global states of
                  distributed systems}, 
 journal = {ACM Trans. Comput. Syst.},
 volume = {3},
 number = {1},
 year = {1985},
 issn = {0734-2071},
 pages = {63--75},
 doi = {doi.acm.org/10.1145/214451.214456},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@TechReport{stiegler:polaris,
  author =       {Marc Stiegler and Alan H. Karp and Ka-Ping Yee and
                 Mark S. Miller},
  title =        {Polaris: Virus Safe Computing for {Windows XP}},
  institution =  {Hewlett Packard Laboratories},
  number =       {HPL-2004-221},
  year =         {2004},
  URL =          {www.hpl.hp.com/techreports/2004/HPL-2004-221.html;
                 www.hpl.hp.com/techreports/2004/HPL-2004-221.pdf},
}

@article{xml-rpc:latency,
 author = {Mark Allman},
 title = {An evaluation of {XML-RPC}},
 journal = {SIGMETRICS Perform. Eval. Rev.},
 volume = {30},
 number = {4},
 year = {2003},
 issn = {0163-5999},
 pages = {2--11},
 doi = {doi.acm.org/10.1145/773056.773057},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@inproceedings{corba:latency,
 author = {A. S. Gokhale and D. C. Schmidt},
 title = {Evaluating {CORBA} latency and scalability over high-speed {ATM}
                  networks}, 
 booktitle = {ICDCS '97: Proceedings of the 17th International
                  Conference on Distributed Computing Systems (ICDCS
                  '97)}, 
 year = {1997},
 isbn = {0-8186-7813-5},
 pages = {401},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@article{java:rmi,
 author = {Ann Wollrath and Jim Waldo and Roger Riggs},
 title = {Java-Centric Distributed Computing},
 journal = {IEEE Micro},
 volume = {17},
 number = {3},
 year = {1997},
 issn = {0272-1732},
 pages = {44--53},
 doi = {dx.doi.org/10.1109/40.591654},
 publisher = {IEEE Computer Society Press},
 address = {Los Alamitos, CA, USA},
 }

@inproceedings{liskov:promises,
 author = {Barbara Liskov and Lubia Shrira},
 title = {Promises: linguistic support for efficient asynchronous
                  procedure calls in distributed systems}, 
 booktitle = {PLDI '88: Proceedings of the ACM SIGPLAN 1988 conference
                  on Programming Language design and Implementation}, 
 year = {1988},
 isbn = {0-89791-269-1},
 pages = {260--267},
 location = {Atlanta, Georgia, United States},
 doi = {doi.acm.org/10.1145/53990.54016},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@inproceedings{bogle:batched,
 author = {Phillip Bogle and Barbara Liskov},
 title = {Reducing cross domain call overhead using batched futures},
 booktitle = {OOPSLA '94: Proceedings of the ninth annual conference
                  on Object-oriented programming systems, language,
                  and applications}, 
 year = {1994},
 isbn = {0-89791-688-3},
 pages = {341--354},
 location = {Portland, Oregon, United States},
 doi = {doi.acm.org/10.1145/191080.191133},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@article{lamport:paxos,
 author = {Leslie Lamport},
 title = {The part-time parliament},
 journal = {ACM Trans. Comput. Syst.},
 volume = {16},
 number = {2},
 year = {1998},
 issn = {0734-2071},
 pages = {133--169},
 doi = {doi.acm.org/10.1145/279227.279229},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@phdthesis{amir:thesis,
    author = {Yair Amir},
    title = {Replication Using Group Communication Over a Partitioned Network},
    year = {1995},
    url = {citeseer.ist.psu.edu/amir95replication.html} }

@inproceedings{birman:vsync,
 author = {Ken Birman and T. Joseph},
 title = {Exploiting virtual synchrony in distributed systems},
 booktitle = {SOSP '87: Proceedings of the eleventh ACM Symposium on Operating systems principles},
 year = {1987},
 isbn = {0-89791-242-X},
 pages = {123--138},
 location = {Austin, Texas, United States},
 doi = {doi.acm.org/10.1145/41457.37515},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@inproceedings{hansen:monitors,
 author = {Brinch Hansen, Per},
 title = {Monitors and concurrent {Pascal}: a personal history},
 booktitle = {HOPL-II: The second ACM SIGPLAN conference on History of programming languages},
 year = {1993},
 isbn = {0-89791-570-4},
 pages = {1--35},
 location = {Cambridge, Massachusetts, United States},
 doi = {doi.acm.org/10.1145/154766.155361},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@article{hoare:csp,
 author = {C. A. R. Hoare},
 title = {Communicating sequential processes},
 journal = {Commun. ACM},
 volume = {21},
 number = {8},
 year = {1978},
 issn = {0001-0782},
 pages = {666--677},
 doi = {doi.acm.org/10.1145/359576.359585},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@article{hoare:monitors,
 author = {C. A. R. Hoare},
 title = {Monitors: an operating system structuring concept},
 journal = {Commun. ACM},
 volume = {17},
 number = {10},
 year = {1974},
 issn = {0001-0782},
 pages = {549--557},
 doi = {doi.acm.org/10.1145/355620.361161},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@article{boehm:threads,
 author = {Hans-J. Boehm},
 title = {Threads cannot be implemented as a library},
 journal = {SIGPLAN Not.},
 volume = {40},
 number = {6},
 year = {2005},
 issn = {0362-1340},
 pages = {261--268},
 doi = {doi.acm.org/10.1145/1064978.1065042},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@Book{IBM:POO,
  author =       {{IBM Corporation}},
  title =        {{IBM System}\slash 360 Principles of Operation},
  publisher =    {IBM Corporation},
  address =      {San Jose, CA, USA},
  edition =      {Eighth},
  pages =        {175},
  year =         {1968},
  LCCN =         {QA76.8.I12 I59 1968},
  bibdate =      {Wed Sep 14 23:12:39 1994},
  acknowledgement = ack-nhfb,
}

@Book{Englander:beans,
  author =       {Robert Englander},
  title =        {Developing {Java Beans}},
  publisher =    {O'Reilly \& {Associates, Inc.}},
  address =      {981 Chestnut Street, Newton, MA 02164, USA},
  pages =        {xvi + 298},
  year =         {1997},
  ISBN =         {1-56592-289-1},
  LCCN =         {QA76.73.J38 E64 1997},
  bibdate =      {Wed Jun 17 22:05:06 MDT 1998},
  price =        {US\$29.95},
  URL =          {www.ora.com/catalog/javabeans/},
  acknowledgement = ack-nhfb,
  xxtitle =      {Developing {JavaBeans}},
}

@Article{Nelson81,
  author =       {Bruce J. Nelson},
  title =        {Remote Procedure Call},
  journal =      {Report No CMU-CS-81-119},
  year =         {1981},
  abstract =     {Remote procedure call is the synchronous
                 language-level transfer of control between programs in
                 disjoint address spaces whose primary communication
                 medium is a narrow channel. The thesis of this
                 dissertation is that remote procedure call (RPC) is a
                 satisfactory and efficient programming language
                 primitive for constructing distributed systems.},
  keywords =     {RPC},
}

@Article{SaltzerSc75,
  author =       {Jerome H. Saltzer and Michael D. Schroeder},
  title =        {The Protection of Information in Computer System},
  journal =      {Proceedings of the IEEE},
  volume =       {63},
  number =       {9},
  pages =        {1278--1308},
  year =         {1975},
}

@Article{Hayek:1945:UKS,
  author =       {Friedrich von Hayek},
  title =        {The Uses of Knowledge in Society},
  journal =      {American Economic Review},
  year =         {1945},
  volume =       {35},
  month =        sep,
  pages =        {519--530},
}

@InProceedings{hewitt:actors,
  author =       {Carl Hewitt and Peter Bishop and Richard Steiger},
  title =        {A Universal Modular {ACTOR} Formalism for Artificial
                 Intelligence},
  pages =        {235--245},
  ISBN =         {0-934613-58-3},
  editor =       {Nils J. Nilsson},
  booktitle =    {Proceedings of the 3rd International Joint Conference
                 on Artificial Intelligence},
  address =      {Standford, CA},
  month =        aug,
  year =         {1973},
  publisher =    {William Kaufmann},
}

@book{agha:actors,
author = {Gul A. Agha},
title = {{ACTORS}: A Model of Concurrent Computation in Distributed Systems},
publisher = {The MIT Press, Cambridge},
year = 1986
}

@techreport{hewitt:viewing,
author = {Carl Hewitt},
title = {Viewing Control Structures as Patterns of Passing Messages},
address = {{MIT AI Lab Memo 410}},
year = 1976
}

@book{goldberg:purplebook,
title = {{Smalltalk-80}: The Language and Its Implementation},
author = {Adele Goldberg and David Robson},
publisher = {Addison-Wesley, Reading, MA},
year = 1983
}

@article{kay:smallhistory,
author = {Alan C. Kay},
title = {The Early History Of {Smalltalk}},
journal = {SIGPLAN not.},
volume = {28},
number = {3},
year = {1993},
issn = {0362-1340},
pages = {69--95},
url = {doi.acm.org/10.1145/155360.155364},
publisher = {ACM Press}
}

@article{goldberg:smalltalk72,
author = {Adele Goldberg and Alan C. Kay},
title = {{Smalltalk-72} Instruction Manual},
note = {Xerox Palo Alto Research Center},
year = 1976,
month = mar
}

@misc{stiegler:ewalnut,
author = {Marc Stiegler},
title = {The {E} Language in a Walnut},
year = 2004,
note = {\\{\tt www.skyhunter.com/marcs/ewalnut.html}},
url = {www.skyhunter.com/marcs/ewalnut.html}
}

@book{gamma:patterns,
author = {Erich Gamma and Richard Helm and Ralph Johnon and John Vlissides},
title = {{Design Patterns}, elements of reusable object-oriented
software},
publisher = {{Addison Wesley}},
year = 1994,
isbn = {0-201-63361-2}
}

@incollection{kahn:vulcan,
  author    = {Kenneth M. Kahn and
               Eric Dean Tribble and
               Mark S. Miller and
               Daniel G. Bobrow},
  title     = {Vulcan: Logical Concurrent Objects},
  booktitle = {Research Directions in Object-Oriented Programming},
  year      = {1987},
  pages     = {75-112},
  bibsource = {DBLP, dblp.uni-trier.de}
}

@inproceedings{tribble:channels,
  author    = {Eric Dean Tribble and
               Mark S. Miller and
               Kenneth M. Kahn and
               Daniel G. Bobrow and
               Curtis Abbott and
               Ehud Y. Shapiro},
  title     = {Channels: A Generalization of Streams},
  booktitle = {ICLP},
  year      = {1987},
  pages     = {839-857},
  bibsource = {DBLP, dblp.uni-trier.de}
}

@techreport{tribble:joule,
author = {E. Dean Tribble and 
          Mark S. Miller and 
          Norm Hardy and 
          David Krieger},
title = {{Joule}: Distributed Application Foundations},
address = {{Agorics Inc., Los Altos}},
number = {{ADd03.4P}},
year = 1995,
month = dec,
note = {\\{\tt www.agorics.com/Library/joule.html}},
url = {www.agorics.com/Library/joule.html}
}

@inproceedings{miller:logical-secrets,
  author    = {Mark S. Miller and
               Daniel G. Bobrow and
               Eric Dean Tribble and
               Jacob Levy},
  title     = {Logical Secrets},
  booktitle = {ICLP},
  year      = {1987},
  pages     = {704-728},
  bibsource = {DBLP, dblp.uni-trier.de}
}

@inproceedings{miller:ode,
  author    = {Mark S. Miller and
               Chip Morningstar and
               Bill Frantz},
  title     = {Capability-Based Financial Instruments},
  booktitle = {Financial Cryptography},
  year      = {2000},
  pages     = {349-378},
  ee        =
    {link.springer.de/link/service/series/0558/bibs/1962/19620349.htm}, 
  bibsource = {DBLP, dblp.uni-trier.de}
}

@misc{miller:myths,
author = {Mark S. Miller and Ka-Ping Yee and Jonathan Shapiro},
title = {{Capability Myths Demolished}},
year = {2003},
url = {citeseer.ist.psu.edu/miller03capability.html} 
}

@inproceedings{miller:paradigm,
  author    = {Mark S. Miller and
               Jonathan S. Shapiro},
  title     = {{Paradigm Regained}: Abstraction Mechanisms for Access Control},
  booktitle = {ASIAN},
  year      = {2003},
  pages     = {224-242},
  bibsource = {DBLP, dblp.uni-trier.de}
}

@inproceedings{miller:struct-auth,
  author    = {Mark S. Miller and
               Bill Tulloh and
               Jonathan S. Shapiro},
  title     = {{The Structure of Authority}: Why Security Is Not a Separable
               Concern},
  booktitle = {MOZ},
  year      = {2004},
  pages     = {2-20},
  bibsource = {DBLP, dblp.uni-trier.de}
}

@inproceedings{SaltzSchroe,
 author = {Jerome H.Salzer and Michael D. Schroeder},
 title = {The Protection of Information in Computer Systems},
 booktitle = {Fourth ACM Symposium on Operating System Principles},
 year = {1973},
 month = mar,
 }

@misc{tgc,
  author = "Fred Spiessens and Peter {Van Roy}",
  title = "A Practical Formal Model for Safety Analysis in {Capability-Based} Systems",
  year = 2005,
  note = "To be published in Lecture Notes in Computer Science (Springer-Verlag). Presentation available at \\{\tt www.info.ucl.ac.be/people/fsp/auredsysfinal.mov}",	
}


@inproceedings{oze,
  author = "Fred Spiessens and Peter {Van Roy}",
  title = "The {Oz-E} Project: Design Guidelines for a Secure Multiparadigm Programming Language",
  booktitle = "Multiparadigm Programming in {Mozart/Oz}: Extended Proceedings of the Second International Conference {MOZ 2004}",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = 3389,
  year = 2005,
}

@unpublished{ARS,
author = "Fred Spiessens and Mark Miller and Peter Van Roy and Jonathan Shapiro",
title ="{Authority Reduction in Protection Systems}",
organization = "UCL and HP and JHU",
year = "2004",
note = "{\\{\tt www.info.ucl.ac.be/people/fsp/ARS.pdf}}"
}


@Book{Gamma94,
  author =       "Erich Gamma and Richard Helm and Ralph Johnson and
                 John Vlissides",
  title =        "Design Patterns: Elements of Reusable Object-Oriented
                 Software",
  publisher =    "Addison Wesley",
  address =      "Massachusetts",
  year =         "1994",
}


@Book{VanRoyHaridi,
 Author   = "Peter {Van Roy} and Seif Haridi",
 Title    = "Concepts, Techniques, and Models of Computer Programming",  Year     = 2004,  Month    = mar,
 Publisher= "MIT Press",
 ISBN     = "0-262-22069-5",
 URL      = "{\tt www.info.ucl.ac.be/people/PVR/book.html}",
}

@inproceedings{Mil00,
    author = "Mark S. Miller and Chip Morningstar and Bill Frantz",
    title = "Capability-Based Financial Instruments",
    pages = "349--378",
    booktitle = "Proceedings of the 4th International Conference on Financial Cryptography",
    year = "2000",
    publisher = {Springer Verlag},
     }

@techreport{Rees96,
 author = {Jonathan A. Rees},
 title = {A Security Kernel Based on the Lambda-Calculus},
 institution =  {MIT},
 year = {1996},
 source = {www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai%3Ancstrlh%3Amitai%3AMIT-AILab%2F%2FAIM-1564},
 publisher = {Massachusetts Institute of Technology},
 }

@article{Morris,
 author = {James H. {Morris, Jr.}},
 title = {Protection in programming languages},
 journal = {Commun. ACM},
 volume = {16},
 number = {1},
 year = {1973},
 issn = {0001-0782},
 pages = {15--21},
 doi = {doi.acm.org/10.1145/361932.361937},
 publisher = {ACM Press},
 }

@inproceedings{ Shap00,
    author = "Jonathan S. Shapiro and Samuel Weber",
    title = "Verifying the {EROS} Confinement Mechanism",
    pages = "166--176",
    booktitle = "Proceedings of the 2000 IEEE Symposium on Security and Privacy",
    year = "2000",
    url = "citeseer.ist.psu.edu/shapiro00verifying.html" }


@inproceedings{MS03,
    author = "Mark S. Miller and Jonathan Shapiro",
    title = "Paradigm Regained: Abstraction Mechanisms for Access Control",
    pages = "224-242",
    booktitle = "8th Asian Computing Science Conference (ASIAN03)",
    year = "2003",
    month = "December",
    url = "Avalable at {\tt www.erights.org/talks/asian03/}"
   }

@techreport{MS03tech,
  author =  {Mark S. Miller and Jonathan Shapiro},
  title = {"Paradigm Regained: Abstraction Mechanisms for Access Control"},
  institution =  {Johns Hopkins University},
  year = {2003},
  key =  {},
  type = {Tech Report},
  number = {SRL2003-03},
  note = {To appear in Proceedings of ASIAN'03, edited by Vijay Saraswat. Springer Verlag.},
}

@techreport{DVH,
    author = "J. B. Dennis and E. C. Van Horn",
    title = "Programming semantics for multiprogrammed computations",
    number = "MIT/LCS/TR-23",
    pages = "46",
    year = "1965",
    institution =  "M.I.T. Laboratory for Computer Science",
    url = "citeseer.ist.psu.edu/article/dennis65programming.html" } 

@inproceedings{Pose01,
 author = {Ronald Pose},
 title = {Password-capabilities: their evolution from the password-capability system into walnut and beyond},
 booktitle = {Proceedings of the 6th Australasian conference on Computer systems architecture},
 year = {2001},
 isbn = {0-7695-0954-1},
 pages = {105--113},
 location = {Queensland, Australia},
 publisher = {IEEE Computer Society},
 }
 
@article{hewitt,
author = "Carl Hewitt",
title = "Viewing Control Structures as Patterns of Passing Messages",
journal = "Journal of Artificial Intelligence",
volume = 8,
number = 3,
month = jun,
year = 1977,
pages = "323--364",
}

@inproceedings{hewitt2,
author = "Carl Hewitt and Peter Bishop and Richard Steiger",
title = "A Universal Modular {ACTOR} Formalism for Artificial Intelligence",
booktitle = "3rd International Joint Conference on Artificial Intelligence (IJCAI)",
month = aug,
year = 1973,
pages = "235--245",
}


@article{hiding,
author = "David Lorge Parnas",
title = "On the Criteria to be Used in Decomposing Systems into Modules",
journal = cacm,
volume = 15,
number = 12,
month = dec,
year = 1972,
pages = "1053--1058",
}

@inproceedings{saraswat91,
author = "Vijay A. Saraswat and Martin C. Rinard and Prakash Panangaden",
title = "Semantic Foundations of Concurrent Constraint Programming",
booktitle = "Principles of Programming Languages (POPL)",
address = "Orlando, FL",
month = jan,
year = 1991,
pages = "333--352",
}

@inproceedings{nonsep,
author = "Mark S. Miller and Bill Tulloh and Jonathan S. Shapiro",
title = "The Structure of Authority: Why Security is Not a Separable Concern",
booktitle = "Multiparadigm Programming in Mozart/Oz: Proceedings of MOZ 2004",
publisher = "Springer-Verlag",
series = "Lecture Notes in Computer Science",
year = 2005,
volume = 3389,
}

@incollection{simulahistory,
author = "K. Nygaard and O. J. Dahl",
title = "The Development of the {SIMULA} Languages",
booktitle = "History of Programming Languages",
publisher = "Academic Press",
year = 1981,
pages = "439--493",
}

@article{algol60def,
author = "Peter Naur and John W. Backus and Friedrich L. Bauer and Julien Green and C. Katz and John L. McCarthy and Alan J. Perlis and Heinz Rutishauser and Klaus Samelson and Bernard Vauquois and Joseph Henry Wegstein and Adriaan van Wijngaarden and Michael Woodger",
title = "Revised Report on the Algorithmic Language {ALGOL 60}",
journal = cacm,
year = 1963,
volume = 6,
number = 1,
pages = "1--17",
}

@book{anderson,
author = "Ross J. Anderson",
title = "Security Engineering: A Guide to Building Dependable Distributed Systems",
publisher = "John Wiley \& Sons",
year = 2001,
}

@article{scheme,
author = "William Clinger and Jonathan Rees",
title = "The Revised${}^4$ Report on the Algorithmic
Language {Scheme}",
journal = "LISP Pointers",
volume = 4,
number = 3,
year = 1991,
month = "July-September",
pages = "1--55",
}

@book{concurrentml,
author = "John H. Reppy",
title = "Concurrent Programming in {ML}",
publisher = "Cambridge University Press",
address = "Cambridge, UK",
year = 1999,
}

@book{monitorbook,
author = "Per {Brinch Hansen}",
title = "Operating System Principles",
publisher = "Prentice Hall",
year = 1973,
address = "Englewood Cliffs, NJ",
}

@techreport{darpareport,
author = "Marc Stiegler and Mark S. Miller",
title = "A Capability Based Client: The DarpaBrowser",
institution = "Combex, Inc.",
number = "Focused Research Topic 5 / BAA-00-06-SNK",
note="\\{\tt www.combex.com/papers/darpa-report/index.html}",
month = jun,
year = 2002,
}

@misc{darpareview,
author = "David Wagner and Dean Tribble",
title = "A Security Analysis of the Combex DarpaBrowser Architecture",
month = mar,
year = 2002,
}

@inproceedings{needhamlauer78,
author = "Hugh C. Lauer and Roger M. Needham",
title = "On the Duality of Operating System Structures",
booktitle = "Second International Symposium on Operating Systems, IRIA",
month = oct,
year = 1978,
note = "Reprinted in {\em Operating Systems Review}, 13(2), April 1979, pp. 3--19.",}

@book{stiegler,
author = "Marc Stiegler",
title = "The {E} Language in a Walnut",
note = "Draft available at {\tt www.erights.org}",
year = 2000,
}

@unpublished{myth,
author = "Mark Miller and Ka-Ping Yee and Jonathan Shapiro",
title = "Capability Myths Demolished",
year = 2003,
note = "Draft available at {\tt zesty.ca/capmyths}",
}

@inproceedings{fc00,
author = "Mark S. Miller and Chip Morningstar and Bill Frantz",
title = "Capability-based Financial Instruments",
year = 2000,
month = feb,
booktitle = "Financial Cryptography 2000",
address = "Anguilla, British West Indies",
}                                                                                      

@misc{e,
author = "Mark Miller and Marc Stiegler and Tyler Close and
Bill Frantz and Ka-Ping Yee and Chip Morningstar and
Jonathan Shapiro and Norm Hardy and E. Dean Tribble and Doug Barnes and Dan Bornstien and Bryce Wilcox-O'Hearn and Terry Stanley and Kevin Reid and Darius Bacon",
title = "{E}: Open Source Distributed Capabilities",
note = "Available at {\tt www.erights.org}",
year = 2001
}

@PhdThesis{joethesis,
author = "Joe Armstrong",
title = "Making reliable distributed systems in the presence of software errors",
school = "Royal Institute of Technology (KTH)",
year = 2003,
month = nov,
address = "Kista, Sweden",
}

@inproceedings{janus,
author = "Vijay Saraswat and Ken Kahn and Jacob Levy",
title = "Janus: A step towards distributed constraint programming",
booktitle = "North American Conference on Logic Programming",
year = 1990,
pages = "431--446",
publisher = "MIT Press",
}

@article{smalltalkhistory,
author = "Alan C. Kay",
title = "The Early History of {Smalltalk}",
journal = "ACM SIGPLAN Notices",
volume = 28,
number = 3,
month = mar,
year = 1993,
pages = "69--95",
note = "Originally appeared in History of Programming Languages Conference (HOPL-II), 1993",
}

@article{sealers,
author = "James H. Morris",
title = "Protection in Programming Languages",
journal = cacm,
volume =16,
number = 1,
pages = "15--21",
year = 1973,
}

@article{csp,
author = "Charles Antony Richard Hoare",
title = "Communicating Sequential Processes",
journal = cacm,
volume = 21,
number = 8,
year = 1978,
month = aug,
pages = "666--677",
}

@article{hansen,
author = "Per {Brinch Hansen}",
title = "Java's insecure parallelism",
journal = "ACM SIGPLAN Notices",
volume = 34,
number = 4,
year = 1999,
month = apr,
pages = "38--45",
}

@book{gamma,
author = "Erich Gamma and Richard Helm and Ralph Johnson and John Vlissides",
title = "Design Patterns: Elements of Reusable Object-Oriented Software",
publisher = "Addison-Wesley",
year = 1994,
}

@book{smalltalk80,
author = "Adele Goldberg and David Robson",
title = "Smalltalk-80: The language and its implementation",
publisher = "Addison-Wesley",
year = 1983,
}

@article{BalSteinerTanenbaum:89,
author = "Henri E. Bal and Jennifer G. Steiner and Andrew S. Tanenbaum",
title = "Programming Languages for Distributed Computing Systems",
journal = acmcs,
volume = 21,
number = 3,
year = 1989,
month = sep,
pages = "261--322",
}

@article{birrell,
author = "Andrew D. Birrell and Bruce Jay Nelson",
title = "Implementing Remote Procedure Calls",
journal = tocs,
volume = 2,
number = 1,
year = 1984,
month = feb,
pages = "39--59",
}

@article{halstead,
author = "Robert H. {Halstead, Jr.}",
title = "{MultiLisp}: A Language for Concurrent Symbolic Computation",
journal = toplas,
volume = 7,
number = 4,
year = 1985,
month = oct,
pages = "501--538",
}

@phdthesis{emeraldthesis,
author = "Eric Jul",
title = "Object Mobility in a Distributed Object-Oriented System",
school = "Univ. of Washington",
year = 1988,
number = "UW Technical Report 88-12-6",
address = "Seattle, Wash.",
}

@article{emerald,
author = "Eric Jul and Henry Levy and Norman Hutchinson and Andrew Black",
title = "Fine-grained Mobility in the {Emerald} System",
journal = tocs,
volume = 6,
number = 1,
year = 1988,
month = feb,
pages = "109--133",
}

@inproceedings{lampson,
author = "Butler W.\ Lampson",
title = "Reliable Messages and Connection Establishment",
booktitle = "Distributed Systems",
editor = "Sape Mullender",
publisher = "Addison-Wesley",
address = "Reading, MA",
year = 1993,
pages = "251--281",
}

@incollection{hoare,
  crossref = {turingaward},
  author = "Charles Antony Richard Hoare",
  title = "The Emperor's Old Clothes",
  editor = "Robert L. Ashenhurst and Susan Graham",
  booktitle = "{ACM} {Turing Award} Lectures: The First Twenty Years",
  publisher = {ACM Press},
  year = 1987,
  note = "1980 Turing Award Lecture",
}

@book{levybook,
author = "Henry M. Levy",
title = "Capability-Based Computer Systems",
publisher = {Digital Press},
year = 1984,
note = "Available for download from the author.",
address = "Bedford, MA",
}

@article{dennisvanhorn,
author = "J. B. Dennis and E. C. Van Horn",
title = "Programming semantics for multiprogrammed computations",
journal = cacm,
volume = 9,
number = 3,
year = 1966,
month = mar,
}

@book{corba,
author = "Randy Otte and Paul Patrick and Mark Roy",
title = "Understanding {CORBA}: The Common Object Request Broker Architecture",
publisher = "Prentice-Hall PTR",
address = "Upper Saddle River, NJ",
year = 1996,
}

@book{concprolog,
  editor = "Ehud Shapiro",
  title = "Concurrent {Prolog}: Collected Papers",
  volume = "1-2",
  year = 1987,
  publisher = "MIT Press",
  address = "Cambridge, MA",
}

@article{Shapiro:89,
author = "Ehud Shapiro",
title = "The Family of Concurrent Logic Programming Languages",
journal = acmcs,
volume = 21,
number = 3,
month = sep,
year = 1989,
pages = "413--510",
}

@book{javaspec,
author = "James Gosling and Bill Joy and Guy Steele",
title = "The {Java} Language Specification",
publisher = "Addison-Wesley",
year = 1996,
note = "Available at {\tt www.javasoft.com}",
}

@manual{rmispec,
author = "{Sun Microsystems}",
title = "The {Remote Method Invocation} Specification",
year = 1997,
note = "Available at {\tt www.javasoft.com}",
}

@book{tanenbaum2,
author = "Andrew S. Tanenbaum and Maarten van Steen",
title = "Distributed systems: Principles and Paradigms",
publisher = "Prentice-Hall",
year = 2002,
}

@inproceedings{derlang,
author = "Claes Wikstr{\"o}m",
title = "Distributed Programming in {Erlang}",
booktitle = "\textup{the} 1st International Symposium on Parallel Symbolic Computation
\textup{(}PASCO 94\textup{)}",
publisher = "World Scientific",
address = "Singapore",
year = 1994,
month = sep,
pages = "412--421",
}

@book{erlang,
author = "Joe Armstrong and Mike Williams and Claes Wikstr{\"o}m and Robert Virding",
title = "Concurrent Programming in {Erlang}",
publisher = "Prentice-Hall",
address = "Englewood Cliffs, NJ",
year = 1996,
}

@article{monitor2,
  author = "Charles Antony Richard Hoare",
  title = "Monitors: An Operating System Structuring Concept",
  journal = cacm,
  year = 1974,
  month = oct,
  pages = "549--557",
  number = 10,
  volume = 17,
}

@article{linda2,
author = "Nicholas Carriero and David Gelernter",
title = "Coordination languages and their significance",
journal = cacm,
year = 1992,
month = feb,
volume = 35,
number = 2,
pages = "96--107",
}

@article{ngc98,
author = "Seif Haridi and Peter {Van Roy} and Per Brand and Christian Schulte",
title = "Programming Languages for Distributed Applications",
journal = "New Generation Computing",
month = "May",
year = "1998",
volume = "16",
number = "3",
pages = "223--261",
}

@misc{joell2,
author = "Joe Armstrong",
title = "Concurrency Oriented programming in {Erlang}",
month = nov,
year = 2002,
note = "Invited talk, Lightweight Languages Workshop 2002",
address = "MIT, Cambridge MA",
}

@misc{hoperlang,
author = "Joe Armstrong",
title = "Higher-order Processes in {Erlang}",
month = jan,
year = 1997,
note = "Unpublished talk",
}

@book{lea,
author = "Doug Lea",
title = "Concurrent Programming in {Java}",
year = 1997,
publisher = "Addison-Wesley",
}

@book{lea2,
author = "Doug Lea",
title = "Concurrent Programming in {Java}, \textup{2nd edition}",
publisher = "Addison-Wesley",
year = 2000,
}

@article{ftsr,
author = "Richard D. Schlichting and Vicraj T. Thomas",
title = "Programming Language Support for Writing Fault-tolerant Distributed Software",
journal = "IEEE Transactions on Computers",
volume = 44,
number = 2,
pages = "203--212",
year = 1995,
month = feb,
}

@book{Saraswat93,
  AUTHOR = {Vijay A. Saraswat},
  TITLE = {Concurrent Constraint Programming},
  YEAR = 1993,
  PUBLISHER = "MIT Press",
  address = "Cambridge, MA",
}

@phdthesis{armstrongthesis,
author = "Joe Armstrong",
title = "Making Reliable Distributed Systems in the Presence of Software Errors",
school = "Royal Institute of Technology (KTH), Stockholm",
year = 2003,
month = dec,
}

@techreport{tr003,
author = "Ehud Shapiro",
title = "A subset of {Concurrent Prolog} and its Interpreter",
number = "TR-003",
institution = "Institute for New Generation Computer Technology (ICOT)",
year = 1983,
month = jan,
}