git.iko.soy/distributed-process
on 3606f3d help sign in
distributed-process/doc/semantics/references.bib
72 lines 2.2 kB history raw
1@inproceedings{cloudhaskell,
2 author = {Epstein, Jeff and Black, Andrew P. and Peyton-Jones, Simon},
3 title = {Towards {H}askell in the cloud},
4 booktitle = {Proceedings of the 4th ACM symposium on Haskell},
5 series = {Haskell '11},
6 year = {2011},
7 isbn = {978-1-4503-0860-1},
8 location = {Tokyo, Japan},
9 pages = {118--129},
10 numpages = {12},
11 url = {http://doi.acm.org/10.1145/2034675.2034690},
12 doi = {10.1145/2034675.2034690},
13 acmid = {2034690},
14 publisher = {ACM},
15 address = {New York, NY, USA},
16 keywords = {erlang, haskell, message-passing},
17}
19@inproceedings{unified,
20 author = {Svensson, Hans and Fredlund, Lars-{\AA}ke and Benac Earle, Clara},
21 title = {A unified semantics for future {E}rlang},
22 booktitle = {Proceedings of the 9th ACM SIGPLAN workshop on Erlang},
23 series = {Erlang '10},
24 year = {2010},
25 isbn = {978-1-4503-0253-1},
26 location = {Baltimore, Maryland, USA},
27 pages = {23--32},
28 numpages = {10},
29 url = {http://doi.acm.org/10.1145/1863509.1863514},
30 doi = {10.1145/1863509.1863514},
31 acmid = {1863514},
32 publisher = {ACM},
33 address = {New York, NY, USA},
34 keywords = {erlang, semantics},
35}
37@article{stm,
38 author = {Harris, Tim and Marlow, Simon and Jones, Simon Peyton and Herlihy, Maurice},
39 title = {Composable memory transactions},
40 journal = {Commun. ACM},
41 issue_date = {August 2008},
42 volume = {51},
43 number = {8},
44 month = aug,
45 year = {2008},
46 issn = {0001-0782},
47 pages = {91--100},
48 numpages = {10},
49 url = {http://doi.acm.org/10.1145/1378704.1378725},
50 doi = {10.1145/1378704.1378725},
51 acmid = {1378725},
52 publisher = {ACM},
53 address = {New York, NY, USA},
54}
56@inproceedings{erlang,
57 author = {Svensson, Hans and Fredlund, Lars-\AAke},
58 title = {A more accurate semantics for distributed erlang},
59 booktitle = {Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop},
60 series = {ERLANG '07},
61 year = {2007},
62 isbn = {978-1-59593-675-2},
63 location = {Freiburg, Germany},
64 pages = {43--54},
65 numpages = {12},
66 url = {http://doi.acm.org/10.1145/1292520.1292528},
67 doi = {10.1145/1292520.1292528},
68 acmid = {1292528},
69 publisher = {ACM},
70 address = {New York, NY, USA},
71 keywords = {distributed systems, erlang, model checking, semantics, verification},
72}