mirror of
https://github.com/papers-we-love/papers-we-love.git
synced 2026-03-02 03:40:31 +00:00
8308 lines
577 KiB
Plaintext
8308 lines
577 KiB
Plaintext
|
|
%PDF-1.3
|
|||
|
|
5 0 obj
|
|||
|
|
<< /S /GoTo /D (chapter.1) >>
|
|||
|
|
endobj
|
|||
|
|
8 0 obj
|
|||
|
|
(The Join Calculus: \040a Language for Distributed Mobile Programming)
|
|||
|
|
endobj
|
|||
|
|
9 0 obj
|
|||
|
|
<< /S /GoTo /D (section.1.1) >>
|
|||
|
|
endobj
|
|||
|
|
12 0 obj
|
|||
|
|
(The core join calculus)
|
|||
|
|
endobj
|
|||
|
|
13 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.1.1.1) >>
|
|||
|
|
endobj
|
|||
|
|
16 0 obj
|
|||
|
|
(Concurrent functional programming)
|
|||
|
|
endobj
|
|||
|
|
17 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.1.1.2) >>
|
|||
|
|
endobj
|
|||
|
|
20 0 obj
|
|||
|
|
(Synchronization by pattern-matching)
|
|||
|
|
endobj
|
|||
|
|
21 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.1.1.3) >>
|
|||
|
|
endobj
|
|||
|
|
24 0 obj
|
|||
|
|
(The asynchronous core)
|
|||
|
|
endobj
|
|||
|
|
25 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.1.1.4) >>
|
|||
|
|
endobj
|
|||
|
|
28 0 obj
|
|||
|
|
(Operational semantics)
|
|||
|
|
endobj
|
|||
|
|
29 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.1.1.5) >>
|
|||
|
|
endobj
|
|||
|
|
32 0 obj
|
|||
|
|
(The reflexive chemical abstract machine)
|
|||
|
|
endobj
|
|||
|
|
33 0 obj
|
|||
|
|
<< /S /GoTo /D (section.1.2) >>
|
|||
|
|
endobj
|
|||
|
|
36 0 obj
|
|||
|
|
(Basic equivalences)
|
|||
|
|
endobj
|
|||
|
|
37 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.1.2.1) >>
|
|||
|
|
endobj
|
|||
|
|
40 0 obj
|
|||
|
|
(May testing equivalence)
|
|||
|
|
endobj
|
|||
|
|
41 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.1.2.2) >>
|
|||
|
|
endobj
|
|||
|
|
44 0 obj
|
|||
|
|
(Trace observation)
|
|||
|
|
endobj
|
|||
|
|
45 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.1.2.3) >>
|
|||
|
|
endobj
|
|||
|
|
48 0 obj
|
|||
|
|
(Simulation and coinduction)
|
|||
|
|
endobj
|
|||
|
|
49 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.1.2.4) >>
|
|||
|
|
endobj
|
|||
|
|
52 0 obj
|
|||
|
|
(Bisimilarity equivalence)
|
|||
|
|
endobj
|
|||
|
|
53 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.1.2.5) >>
|
|||
|
|
endobj
|
|||
|
|
56 0 obj
|
|||
|
|
(Bisimulation proof techniques)
|
|||
|
|
endobj
|
|||
|
|
57 0 obj
|
|||
|
|
<< /S /GoTo /D (section.1.3) >>
|
|||
|
|
endobj
|
|||
|
|
60 0 obj
|
|||
|
|
(A hierarchy of equivalences)
|
|||
|
|
endobj
|
|||
|
|
61 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.1.3.1) >>
|
|||
|
|
endobj
|
|||
|
|
64 0 obj
|
|||
|
|
(Too many equivalences?)
|
|||
|
|
endobj
|
|||
|
|
65 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.1.3.2) >>
|
|||
|
|
endobj
|
|||
|
|
68 0 obj
|
|||
|
|
(Fair testing)
|
|||
|
|
endobj
|
|||
|
|
69 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.1.3.3) >>
|
|||
|
|
endobj
|
|||
|
|
72 0 obj
|
|||
|
|
(Coupled Simulations)
|
|||
|
|
endobj
|
|||
|
|
73 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.1.3.4) >>
|
|||
|
|
endobj
|
|||
|
|
76 0 obj
|
|||
|
|
(Two notions of congruence)
|
|||
|
|
endobj
|
|||
|
|
77 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.1.3.5) >>
|
|||
|
|
endobj
|
|||
|
|
80 0 obj
|
|||
|
|
(Summary: a hierarchy of equivalences)
|
|||
|
|
endobj
|
|||
|
|
81 0 obj
|
|||
|
|
<< /S /GoTo /D (section.1.4) >>
|
|||
|
|
endobj
|
|||
|
|
84 0 obj
|
|||
|
|
(Labeled semantics)
|
|||
|
|
endobj
|
|||
|
|
85 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.1.4.1) >>
|
|||
|
|
endobj
|
|||
|
|
88 0 obj
|
|||
|
|
(Open syntax and chemistry)
|
|||
|
|
endobj
|
|||
|
|
89 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.1.4.2) >>
|
|||
|
|
endobj
|
|||
|
|
92 0 obj
|
|||
|
|
(Observational equivalences on open terms)
|
|||
|
|
endobj
|
|||
|
|
93 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.1.4.3) >>
|
|||
|
|
endobj
|
|||
|
|
96 0 obj
|
|||
|
|
(Labeled bisimulation)
|
|||
|
|
endobj
|
|||
|
|
97 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.1.4.4) >>
|
|||
|
|
endobj
|
|||
|
|
100 0 obj
|
|||
|
|
(Asynchronous bisimulation)
|
|||
|
|
endobj
|
|||
|
|
101 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.1.4.5) >>
|
|||
|
|
endobj
|
|||
|
|
104 0 obj
|
|||
|
|
(The discriminating power of name comparison)
|
|||
|
|
endobj
|
|||
|
|
105 0 obj
|
|||
|
|
<< /S /GoTo /D (section.1.5) >>
|
|||
|
|
endobj
|
|||
|
|
108 0 obj
|
|||
|
|
(Distribution and mobility)
|
|||
|
|
endobj
|
|||
|
|
109 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.1.5.1) >>
|
|||
|
|
endobj
|
|||
|
|
112 0 obj
|
|||
|
|
(Distributed mobile programming)
|
|||
|
|
endobj
|
|||
|
|
113 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.1.5.2) >>
|
|||
|
|
endobj
|
|||
|
|
116 0 obj
|
|||
|
|
(Computing with locations)
|
|||
|
|
endobj
|
|||
|
|
117 0 obj
|
|||
|
|
<< /S /GoTo /D (subsection.1.5.3) >>
|
|||
|
|
endobj
|
|||
|
|
120 0 obj
|
|||
|
|
(Attaching some meaning to locations)
|
|||
|
|
endobj
|
|||
|
|
121 0 obj
|
|||
|
|
<< /S /GoTo /D [122 0 R /Fit ] >>
|
|||
|
|
endobj
|
|||
|
|
124 0 obj <<
|
|||
|
|
/Length 2193
|
|||
|
|
/Filter /FlateDecode
|
|||
|
|
>>
|
|||
|
|
stream
|
|||
|
|
xڅXK<EFBFBD><EFBFBD><EFBFBD>
<0A><>W<EFBFBD><16>jD<6A>l><3E>C<EFBFBD><43>]o<>eo%kUrX8Cn(R<><52><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>Фf<D0A4>rj<72>FM4@<40><>d<><64><EFBFBD>8ax&<0B>$I<><49><0F><><EFBFBD><EFBFBD>a<EFBFBD>y<EFBFBD>64Ny&J<><4A>=<3D><EFBFBD><EE8FBF><EFBFBD><EFBFBD><EFBFBD>L<EFBFBD><4C><EFBFBD><EFBFBD>m<EFBFBD>6b<>
<0A><><EFBFBD><EFBFBD>[<5B><>ǿn߿wv<77><76>xI<78><49>"<22>rc<72>xA<78>q<EFBFBD>~(<28><><EFBFBD><06>N<14><0F>q<EFBFBD><71>Ӳ<1F><><EFBFBD>f<EFBFBD><66>q |