pl.bib

@book{liskov1988promises,
  title={Promises: linguistic support for efficient asynchronous procedure calls in distributed systems},
  author={Liskov, Barbara and Shrira, Liuba},
  volume={23},
  number={7},
  year={1988},
  publisher={ACM}
}

@article{kendall1994note,
  title={A note on distributed computing},
  author={Kendall, Samuel C and Waldo, Jim and Wollrath, Ann and Wyant, Geoff},
  year={1994},
  publisher={Sun Microsystems, Inc.}
}

@book{tanenbaum1987critique,
  title={A critique of the remote procedure call paradigm},
  author={Tanenbaum, Andrew Stuart and van Renesse, Robbert},
  year={1987},
  publisher={Vrije Universiteit, Subfaculteit Wiskunde en Informatica}
}

@incollection{Sandberg:1988:DIS:59309.59338,
 author = {Sandberg, R. and Golgberg, D. and Kleiman, S. and Walsh, D. and Lyon, B.},
 chapter = {Design and Implementation of the Sun Network Filesystem},
 title = {Innovations in Internetworking},
 editor = {Partridge, C.},
 year = {1988},
 isbn = {0-89006-337-0},
 pages = {379--390},
 numpages = {12},
 url = {http://dl.acm.org/citation.cfm?id=59309.59338},
 acmid = {59338},
 publisher = {Artech House, Inc.},
 address = {Norwood, MA, USA},
} 

@article{halpern1990knowledge,
  title={Knowledge and common knowledge in a distributed environment},
  author={Halpern, Joseph Y and Moses, Yoram},
  journal={Journal of the ACM (JACM)},
  volume={37},
  number={3},
  pages={549--587},
  year={1990},
  publisher={ACM}
}

@article{black1990implementing,
  title={Implementing location independent invocation},
  author={Black, Andrew P and Artsy, Yeshayahu},
  journal={Parallel and Distributed Systems, IEEE Transactions on},
  volume={1},
  number={1},
  pages={107--119},
  year={1990},
  publisher={IEEE}
}

@inproceedings{wollrath1996distributed,
  title={A distributed object model for the java TM system},
  author={Wollrath, Ann and Riggs, Roger and Waldo, Jim},
  booktitle={Proceedings of the 2nd conference on USENIX Conference on Object-Oriented Technologies (COOTS)-Volume 2},
  pages={17--17},
  year={1996},
  organization={USENIX Association}
}

@article{birrell1984implementing,
  title={Implementing remote procedure calls},
  author={Birrell, Andrew D and Nelson, Bruce Jay},
  journal={ACM Transactions on Computer Systems (TOCS)},
  volume={2},
  number={1},
  pages={39--59},
  year={1984},
  publisher={ACM}
}

@article{liskov1988distributed,
  title={Distributed programming in Argus},
  author={Liskov, Barbara},
  journal={Communications of the ACM},
  volume={31},
  number={3},
  pages={300--312},
  year={1988},
  publisher={ACM}
}

@incollection{miller2014spores,
  title={Spores: A type-based foundation for closures in the age of concurrency and distribution},
  author={Miller, Heather and Haller, Philipp and Odersky, Martin},
  booktitle={ECOOP 2014--Object-Oriented Programming},
  pages={308--333},
  year={2014},
  publisher={Springer}
}

@article{vinoski2008convenience,
  title={Convenience over correctness},
  author={Vinoski, Steve},
  journal={Internet Computing, IEEE},
  volume={12},
  number={4},
  pages={89--92},
  year={2008},
  publisher={IEEE}
}

@inproceedings{alvaro2011consistency,
  title={Consistency Analysis in Bloom: a CALM and Collected Approach.},
  author={Alvaro, Peter and Conway, Neil and Hellerstein, Joseph M and Marczak, William R},
  booktitle={CIDR},
  pages={249--260},
  year={2011},
  organization={Citeseer}
}

@inproceedings{Black:1985:SDA:323647.323646,
 author = {Black, Andrew P.},
 title = {Supporting Distributed Applications: Experience with Eden},
 booktitle = {Proceedings of the Tenth ACM Symposium on Operating Systems Principles},
 series = {SOSP '85},
 year = {1985},
 isbn = {0-89791-174-1},
 location = {Orcas Island, Washington, USA},
 pages = {181--193},
 numpages = {13},
 url = {http://doi.acm.org/10.1145/323647.323646},
 doi = {10.1145/323647.323646},
 acmid = {323646},
 publisher = {ACM},
 address = {New York, NY, USA},
} 

@article{fischer1985impossibility,
  title={Impossibility of distributed consensus with one faulty process},
  author={Fischer, Michael J and Lynch, Nancy A and Paterson, Michael S},
  journal={Journal of the ACM (JACM)},
  volume={32},
  number={2},
  pages={374--382},
  year={1985},
  publisher={ACM}
}

@inproceedings{conway2012logic,
  title={Logic and lattices for distributed programming},
  author={Conway, Neil and Marczak, William R and Alvaro, Peter and Hellerstein, Joseph M and Maier, David},
  booktitle={Proceedings of the Third ACM Symposium on Cloud Computing},
  pages={1},
  year={2012},
  organization={ACM}
}

@phdthesis{shapiro2011comprehensive,
  title={A comprehensive study of convergent and commutative replicated data types},
  author={Shapiro, Marc and Pregui{\c{c}}a, Nuno and Baquero, Carlos and Zawirski, Marek},
  year={2011},
  school={Inria--Centre Paris-Rocquencourt}
}

@article{liskov1988distributed,
  title={Distributed programming in Argus},
  author={Liskov, Barbara},
  journal={Communications of the ACM},
  volume={31},
  number={3},
  pages={300--312},
  year={1988},
  publisher={ACM}
}

@inproceedings{lee2015implementing,
  title={Implementing linearizability at large scale and low latency},
  author={Lee, Collin and Park, Seo Jin and Kejriwal, Ankita and Matsushita, Satoshi and Ousterhout, John},
  booktitle={Proceedings of the 25th Symposium on Operating Systems Principles},
  pages={71--86},
  year={2015},
  organization={ACM}
}

@inproceedings{Black:1986:OSE:28697.28706,
 author = {Black, Andrew and Hutchinson, Norman and Jul, Eric and Levy, Henry},
 title = {Object Structure in the Emerald System},
 booktitle = {Conference Proceedings on Object-oriented Programming Systems, Languages and Applications},
 series = {OOPLSA '86},
 year = {1986},
 isbn = {0-89791-204-7},
 location = {Portland, Oregon, USA},
 pages = {78--86},
 numpages = {9},
 url = {http://doi.acm.org/10.1145/28697.28706},
 doi = {10.1145/28697.28706},
 acmid = {28706},
 publisher = {ACM},
 address = {New York, NY, USA},
} 

@inproceedings{claessen2005semantics,
  title={A semantics for distributed Erlang},
  author={Claessen, Koen and Svensson, Hans},
  booktitle={Proceedings of the 2005 ACM SIGPLAN workshop on Erlang},
  pages={78--87},
  year={2005},
  organization={ACM}
}

@inproceedings{svensson2007more,
  title={A more accurate semantics for distributed Erlang},
  author={Svensson, Hans and Fredlund, Lars-Ake},
  booktitle={Erlang Workshop},
  pages={43--54},
  year={2007},
  organization={Citeseer}
}

@inproceedings{svensson2007programming,
  title={Programming distributed erlang applications: Pitfalls and recipes},
  author={Svensson, Hans and Fredlund, Lars-{\AA}ke},
  booktitle={Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop},
  pages={37--42},
  year={2007},
  organization={ACM}
}

@article{shapiro1989sos,
  title={SOS: An Object-Oriented Operating System―-Assessment and Perspectives},
  author={Shapiro, Marc and Gourhant, Yvon and Habert, Sabine and Mosseri, Laurence and Ruffin, Michel and Valot, Celine},
  journal={Computing Systems},
  volume={2},
  number={4},
  pages={287--338},
  year={1989}
}

@article{SPE:SPE4380210107,
	Author = {Raj, Rajendra K. and Tempero, Ewan and Levy, Henry M. and Black, Andrew P. and Hutchinson, Norman C. and Jul, Eric},
	Doi = {10.1002/spe.4380210107},
	Issn = {1097-024X},
	Journal = {Software: Practice and Experience},
	Keywords = {Programming languages, Programming methodology, Object-oriented programming, Abstract data types, Inheritance, Object-based concurrency},
	Number = {1},
	Pages = {91--118},
	Publisher = {John Wiley & Sons, Ltd.},
	Title = {Emerald: A general-purpose programming language},
	Url = {http://dx.doi.org/10.1002/spe.4380210107},
	Volume = {21},
	Year = {1991},
	Bdsk-Url-1 = {http://dx.doi.org/10.1002/spe.4380210107}}

@inproceedings{Birrell:1993:NO:168619.168637,
 author = {Birrell, Andrew and Nelson, Greg and Owicki, Susan and Wobber, Edward},
 title = {Network Objects},
 booktitle = {Proceedings of the Fourteenth ACM Symposium on Operating Systems Principles},
 series = {SOSP '93},
 year = {1993},
 isbn = {0-89791-632-8},
 location = {Asheville, North Carolina, USA},
 pages = {217--230},
 numpages = {14},
 url = {http://doi.acm.org/10.1145/168619.168637},
 doi = {10.1145/168619.168637},
 acmid = {168637},
 publisher = {ACM},
 address = {New York, NY, USA},
} 

@ARTICLE{1702134, 
author={A. Black and N. Hutchinson and E. Jul and H. Levy and L. Carter}, 
journal={IEEE Transactions on Software Engineering}, 
title={Distribution and Abstract Types in Emerald}, 
year={1987}, 
volume={SE-13}, 
number={1}, 
pages={65-76}, 
keywords={Abstract data types;distributed operating system;distributed programming;object-oriented programming;process migration;type checking;Art;Computer languages;Local area networks;Object oriented modeling;Object oriented programming;Operating systems;Packaging;Programming profession;Prototypes;Workstations;Abstract data types;distributed operating system;distributed programming;object-oriented programming;process migration;type checking}, 
doi={10.1109/TSE.1987.232836}, 
ISSN={0098-5589}, 
month={Jan},}

@inproceedings{henz1993oz,
  title={Oz-a programming language for multi-agent systems},
  author={Henz, Martin and Smolka, Gert and W{\"u}rtz, J{\"o}rg},
  booktitle={IJCAI},
  pages={404--409},
  year={1993}
}

@book{hoare1974monitors,
  title={Monitors: An operating system structuring concept},
  author={Hoare, Charles Antony Richard},
  year={1974},
  publisher={Springer}
}

@inproceedings{haridi1997overview,
  title={An overview of the design of Distributed Oz},
  author={Haridi, Seif and Van Roy, Peter and Smolka, Gert},
  booktitle={Proceedings of the second international symposium on Parallel symbolic computation},
  pages={176--187},
  year={1997},
  organization={ACM}
}

@article{holt1982short,
  title={A short introduction to Concurrent Euclid},
  author={Holt, Richard C.},
  journal={ACM Sigplan Notices},
  volume={17},
  number={5},
  pages={60--79},
  year={1982},
  publisher={ACM}
}

@misc{ wiki:futures,
   author = "Wikipedia",
   title = "Futures and promises --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Futures_and_promises&oldid=708150517",
   note = "[Online; accessed 4-March-2016]"
 }

@article{Baker:1977:IGC:872734.806932,
 author = {Baker,Jr., Henry C. and Hewitt, Carl},
 title = {The Incremental Garbage Collection of Processes},
 journal = {SIGPLAN Not.},
 issue_date = {August 1977},
 volume = {12},
 number = {8},
 month = aug,
 year = {1977},
 issn = {0362-1340},
 pages = {55--59},
 numpages = {5},
 url = {http://doi.acm.org/10.1145/872734.806932},
 doi = {10.1145/872734.806932},
 acmid = {806932},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Eager evaluation, Garbage collection, Lazy evaluation, Multiprocessing systems, Processor scheduling},
}

@ARTICLE{1675100, 
author={D. P. Friedman and D. S. Wise}, 
journal={IEEE Transactions on Computers}, 
title={Aspects of Applicative Programming for Parallel Processing}, 
year={1978}, 
volume={C-27}, 
number={4}, 
pages={289-296}, 
keywords={Compiling;Lisp;functional combinations;multiprocessing;recursion;suspensions;Automatic control;Computer architecture;Computer languages;Data structures;Hardware;Modems;Parallel processing;Parallel programming;Programming profession;Suspensions;Compiling;Lisp;functional combinations;multiprocessing;recursion;suspensions}, 
doi={10.1109/TC.1978.1675100}, 
ISSN={0018-9340}, 
month={April},}

@article{halstead1985multilisp,
  title={Multilisp: A language for concurrent symbolic computation},
  author={Halstead Jr, Robert H},
  journal={ACM Transactions on Programming Languages and Systems (TOPLAS)},
  volume={7},
  number={4},
  pages={501--538},
  year={1985},
  publisher={ACM}
}

@inproceedings{Bravo:2014:DDD:2633448.2633451,
 author = {Bravo, Manuel and Li, Zhongmiao and Van Roy, Peter and Meiklejohn, Christopher},
 title = {Derflow: Distributed Deterministic Dataflow Programming for Erlang},
 booktitle = {Proceedings of the Thirteenth ACM SIGPLAN Workshop on Erlang},
 series = {Erlang '14},
 year = {2014},
 isbn = {978-1-4503-3038-1},
 location = {Gothenburg, Sweden},
 pages = {51--60},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/2633448.2633451},
 doi = {10.1145/2633448.2633451},
 acmid = {2633451},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {dynamo, erlang, riak},
} 

@article{Hoare:1974:MOS:355620.361161,
 author = {Hoare, C. A. R.},
 title = {Monitors: An Operating System Structuring Concept},
 journal = {Commun. ACM},
 issue_date = {Oct. 1974},
 volume = {17},
 number = {10},
 month = oct,
 year = {1974},
 issn = {0001-0782},
 pages = {549--557},
 numpages = {9},
 url = {http://doi.acm.org/10.1145/355620.361161},
 doi = {10.1145/355620.361161},
 acmid = {361161},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {monitors, mutual exclusion, operating systems, scheduling, structured multiprogramming, synchronization, system implementation languages},
} 

@article{Hoare:1978:CSP:359576.359585,
 author = {Hoare, C. A. R.},
 title = {Communicating Sequential Processes},
 journal = {Commun. ACM},
 issue_date = {Aug. 1978},
 volume = {21},
 number = {8},
 month = aug,
 year = {1978},
 issn = {0001-0782},
 pages = {666--677},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/359576.359585},
 doi = {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},
} 

@article{Feldman:1979:HLP:359114.359127,
 author = {Feldman, Jerome A.},
 title = {High Level Programming for Distributed Computing},
 journal = {Commun. ACM},
 issue_date = {June 1979},
 volume = {22},
 number = {6},
 month = jun,
 year = {1979},
 issn = {0001-0782},
 pages = {353--368},
 numpages = {16},
 url = {http://doi.acm.org/10.1145/359114.359127},
 doi = {10.1145/359114.359127},
 acmid = {359127},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {assertions, distributed computing, messages, modules},
} 

@article{Liskov:1977:AMC:359763.359789,
 author = {Liskov, Barbara and Snyder, Alan and Atkinson, Russell and Schaffert, Craig},
 title = {Abstraction Mechanisms in CLU},
 journal = {Commun. ACM},
 issue_date = {Aug. 1977},
 volume = {20},
 number = {8},
 month = aug,
 year = {1977},
 issn = {0001-0782},
 pages = {564--576},
 numpages = {13},
 url = {http://doi.acm.org/10.1145/359763.359789},
 doi = {10.1145/359763.359789},
 acmid = {359789},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {control abstractions, data abstractions, data types, programming languages, programming methodology, separate compilation},
} 

@article{Liskov:1983:GAL:2166.357215,
 author = {Liskov, Barbara and Scheifler, Robert},
 title = {Guardians and Actions: Linguistic Support for Robust, Distributed Programs},
 journal = {ACM Trans. Program. Lang. Syst.},
 issue_date = {July 1983},
 volume = {5},
 number = {3},
 month = jul,
 year = {1983},
 issn = {0164-0925},
 pages = {381--404},
 numpages = {24},
 url = {http://doi.acm.org/10.1145/2166.357215},
 doi = {10.1145/2166.357215},
 acmid = {357215},
 publisher = {ACM},
 address = {New York, NY, USA},
} 

@article{Halstead:1985:MLC:4472.4478,
 author = {Halstead,Jr., Robert H.},
 title = {MULTILISP: A Language for Concurrent Symbolic Computation},
 journal = {ACM Trans. Program. Lang. Syst.},
 issue_date = {Oct. 1985},
 volume = {7},
 number = {4},
 month = oct,
 year = {1985},
 issn = {0164-0925},
 pages = {501--538},
 numpages = {38},
 url = {http://doi.acm.org/10.1145/4472.4478},
 doi = {10.1145/4472.4478},
 acmid = {4478},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@article{Liskov:1988:DPA:42392.42399,
 author = {Liskov, Barbara},
 title = {Distributed Programming in Argus},
 journal = {Commun. ACM},
 issue_date = {March 1988},
 volume = {31},
 number = {3},
 month = mar,
 year = {1988},
 issn = {0001-0782},
 pages = {300--312},
 numpages = {13},
 url = {http://doi.acm.org/10.1145/42392.42399},
 doi = {10.1145/42392.42399},
 acmid = {42399},
 publisher = {ACM},
 address = {New York, NY, USA},
} 

@article{Dijkstra:1968:SLS:363095.363143,
 author = {Dijkstra, Edsger W.},
 title = {The Structure of the \&Ldquo;THE\&Rdquo;-multiprogramming System},
 journal = {Commun. ACM},
 issue_date = {May 1968},
 volume = {11},
 number = {5},
 month = may,
 year = {1968},
 issn = {0001-0782},
 pages = {341--346},
 numpages = {6},
 url = {http://doi.acm.org/10.1145/363095.363143},
 doi = {10.1145/363095.363143},
 acmid = {363143},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {cooperating sequential processes, input-output buffering, multiprocessing, multiprogramming, multiprogramming system, operating system, processor sharing, program verification, real-time debugging, synchronizing primitives, system hierarchy, system levels, system structure},
} 

@inproceedings{black2007development,
  title={The development of the Emerald programming language},
  author={Black, Andrew P and Hutchinson, Norman C and Jul, Eric and Levy, Henry M},
  booktitle={Proceedings of the third ACM SIGPLAN conference on History of programming languages},
  pages={11--1},
  year={2007},
  organization={ACM}
}

@article{Helland:2012:IMC:2181796.2187821,
 author = {Helland, Pat},
 title = {Idempotence Is Not a Medical Condition},
 journal = {Queue},
 issue_date = {April 2012},
 volume = {10},
 number = {4},
 month = apr,
 year = {2012},
 issn = {1542-7730},
 pages = {30:30--30:46},
 articleno = {30},
 numpages = {17},
 url = {http://doi.acm.org/10.1145/2181796.2187821},
 doi = {10.1145/2181796.2187821},
 acmid = {2187821},
 publisher = {ACM},
 address = {New York, NY, USA},
} 

@article{vinoski2003s,
  title={It's just a mapping problem [computer application adaptation]},
  author={Vinoski, Steve},
  journal={Internet Computing, IEEE},
  volume={7},
  number={3},
  pages={88--90},
  year={2003},
  publisher={IEEE}
}

@inproceedings{meiklejohn2015lasp,
  title={Lasp: a language for distributed, eventually consistent computations with CRDTs},
  author={Meiklejohn, Christopher and Van Roy, Peter},
  booktitle={Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data},
  pages={7},
  year={2015},
  organization={ACM}
}

@inproceedings{zhang2014customizable,
  title={Customizable and extensible deployment for mobile/cloud applications},
  author={Zhang, Irene and Szekeres, Adriana and Van Aken, Dana and Ackerman, Isaac and Gribble, Steven D and Krishnamurthy, Arvind and Levy, Henry M},
  booktitle={11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)},
  pages={97--112},
  year={2014}
}

@article{feldman1979high,
  title={High level programming for distributed computing},
  author={Feldman, Jerome A},
  journal={Communications of the ACM},
  volume={22},
  number={6},
  pages={353--368},
  year={1979},
  publisher={ACM}
}

@article{liskov1977abstraction,
  title={Abstraction mechanisms in CLU},
  author={Liskov, Barbara and Snyder, Alan and Atkinson, Russell and Schaffert, Craig},
  journal={Communications of the ACM},
  volume={20},
  number={8},
  pages={564--576},
  year={1977},
  publisher={ACM}
}

@article{liskov1988distributed,
  title={Distributed programming in Argus},
  author={Liskov, Barbara},
  journal={Communications of the ACM},
  volume={31},
  number={3},
  pages={300--312},
  year={1988},
  publisher={ACM}
}

@article{liskov1983guardians,
  title={Guardians and actions: Linguistic support for robust, distributed programs},
  author={Liskov, Barbara and Scheifler, Robert},
  journal={ACM Transactions on Programming Languages and Systems (TOPLAS)},
  volume={5},
  number={3},
  pages={381--404},
  year={1983},
  publisher={ACM}
}

@techreport{walker1984orphan,
  title={Orphan Detection in the Argus System.},
  author={Walker, Edward Franklin},
  year={1984},
  institution={DTIC Document}
}

@article{liskov1987implementation,
  title={Implementation of argus},
  author={Liskov, Barbara and Curtis, Dorothy and Johnson, Paul and Scheifer, Robert},
  journal={ACM SIGOPS Operating Systems Review},
  volume={21},
  number={5},
  pages={111--122},
  year={1987},
  publisher={ACM}
}

@book{garcia1987sagas,
  title={Sagas},
  author={Garcia-Molina, Hector and Salem, Kenneth},
  volume={16},
  number={3},
  year={1987},
  publisher={ACM}
}

@article{armstrong2010erlang,
  title={erlang},
  author={Armstrong, Joe},
  journal={Communications of the ACM},
  volume={53},
  number={9},
  pages={68--75},
  year={2010},
  publisher={ACM}
}

@inproceedings{rajan2010guesstimate,
  title={Guesstimate: a programming model for collaborative distributed systems},
  author={Rajan, Kaushik and Rajamani, Sriram and Yaduvanshi, Shashank},
  booktitle={ACM Sigplan Notices},
  volume={45},
  number={6},
  pages={210--220},
  year={2010},
  organization={ACM}
}