1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
@string {prc = "Proceedings of "}
@InProceedings{odersky:esop2000,
author = {Martin Odersky},
title = {Functional Nets},
booktitle = prc#"the 9th European Symposium on Programming
(ESOP'00)",
pages = {1-25},
year = 2000,
series = {LNCS~1782},
}
@article {MPW92,
author = "Robin Milner and Joachim Parrow and David Walker",
title = {A Calculus of Mobile Processes, parts {I} and {II}},
journal = {Information and Computation},
year = {1992},
volume = {100},
pages = {1--40 and 41--77}
}
@inproceedings {AppliedPi,
author = "Mart{\'i}n Abadi and C{\'e}dric Fournet",
title = "Mobile Values, New Names, and Secure Communication",
booktitle = prc#{the 28th ACM SIGPLAN-SIGACT
Symposium on Principles of Programming Languages (POPL'01)},
pages = "104-115",
year = "2001",
address = {London, UK}
}
|
