%PDF-1.6
%
1 0 obj
<<
/AcroForm 2 0 R
/Metadata 3 0 R
/Names 4 0 R
/OpenAction 5 0 R
/Outlines 6 0 R
/PageMode /UseOutlines
/Pages 7 0 R
/Type /Catalog
>>
endobj
8 0 obj
<<
/Author (Giorgio Bacci, Radu Mardare, Prakash Panangaden, and Gordon Plotkin)
/CreationDate (D:20180501173452+02'00')
/Creator (LaTeX with hyperref package)
/Keywords (Markov processes, equational logic, quantitative reasoning, combining monads.)
/ModDate (D:20200106113629+01'00')
/PTEX.Fullbanner (This is pdfTeX, Version 3.14159265-2.6-1.40.18 \(TeX Live 2017\) kpathsea version 6.2.3)
/Producer (pdfTeX-1.40.18)
/Subject (- Software and its engineering -> General programming languages; - Social and professional topics -> History of programming languages; )
/Title (An Algebraic Theory of Markov Processes)
/Trapped /False
>>
endobj
2 0 obj
<<
/DA (/Helv 0 Tf 0 g )
/DR <<
/Encoding <<
/PDFDocEncoding 9 0 R
>>
/Font <<
/Helv 10 0 R
/ZaDb 11 0 R
>>
>>
/Fields []
>>
endobj
3 0 obj
<<
/Length 4187
/Subtype /XML
/Type /Metadata
>>
stream
application/pdf
Giorgio Bacci, Radu Mardare, Prakash Panangaden, and Gordon Plotkin
- Software and its engineering -> General programming languages; - Social and professional topics -> History of programming languages;
An Algebraic Theory of Markov Processes
2018-05-01T17:34:52+02:00
LaTeX with hyperref package
2020-01-06T11:36:29+01:00
2020-01-06T11:36:29+01:00
Markov processes, equational logic, quantitative reasoning, combining monads.
pdfTeX-1.40.18
False
This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017) kpathsea version 6.2.3
uuid:0b2c60ad-16f2-ba48-95bf-1e80dedc4fca
uuid:86d92b68-d142-cd4a-bc8e-ecf0d1465d07
endstream
endobj
4 0 obj
<<
/Dests 12 0 R
>>
endobj
5 0 obj
<<
/D [13 0 R /Fit]
/S /GoTo
>>
endobj
6 0 obj
<<
/Count 12
/First 14 0 R
/Last 15 0 R
/Type /Outlines
>>
endobj
7 0 obj
<<
/Count 11
/Kids [16 0 R 17 0 R]
/Type /Pages
>>
endobj
9 0 obj
<<
/Differences [24 /breve /caron /circumflex /dotaccent /hungarumlaut /ogonek /ring /tilde 39
/quotesingle 96 /grave 128 /bullet /dagger /daggerdbl /ellipsis /emdash /endash
/florin /fraction /guilsinglleft /guilsinglright /minus /perthousand /quotedblbase /quotedblleft /quotedblright /quoteleft
/quoteright /quotesinglbase /trademark /fi /fl /Lslash /OE /Scaron /Ydieresis /Zcaron
/dotlessi /lslash /oe /scaron /zcaron 160 /Euro 164 /currency 166
/brokenbar 168 /dieresis /copyright /ordfeminine 172 /logicalnot /.notdef /registered /macron
/degree /plusminus /twosuperior /threesuperior /acute /mu 183 /periodcentered /cedilla /onesuperior
/ordmasculine 188 /onequarter /onehalf /threequarters 192 /Agrave /Aacute /Acircumflex /Atilde
/Adieresis /Aring /AE /Ccedilla /Egrave /Eacute /Ecircumflex /Edieresis /Igrave /Iacute
/Icircumflex /Idieresis /Eth /Ntilde /Ograve /Oacute /Ocircumflex /Otilde /Odieresis /multiply
/Oslash /Ugrave /Uacute /Ucircumflex /Udieresis /Yacute /Thorn /germandbls /agrave /aacute
/acircumflex /atilde /adieresis /aring /ae /ccedilla /egrave /eacute /ecircumflex /edieresis
/igrave /iacute /icircumflex /idieresis /eth /ntilde /ograve /oacute /ocircumflex /otilde
/odieresis /divide /oslash /ugrave /uacute /ucircumflex /udieresis /yacute /thorn /ydieresis]
/Type /Encoding
>>
endobj
10 0 obj
<<
/BaseFont /Helvetica
/Encoding 9 0 R
/Name /Helv
/Subtype /Type1
/Type /Font
>>
endobj
11 0 obj
<<
/BaseFont /ZapfDingbats
/Name /ZaDb
/Subtype /Type1
/Type /Font
>>
endobj
12 0 obj
<<
/Kids [18 0 R 19 0 R 20 0 R 21 0 R]
/Limits [(AMS.8) (theorem.8.7)]
>>
endobj
13 0 obj
<<
/Annots [22 0 R 23 0 R 24 0 R 25 0 R 26 0 R 27 0 R 28 0 R 29 0 R 30 0 R 31 0 R
32 0 R 33 0 R 34 0 R 35 0 R 36 0 R 37 0 R 38 0 R 39 0 R 40 0 R 41 0 R
42 0 R 43 0 R 44 0 R]
/Contents 45 0 R
/MediaBox [0 0 612 792]
/Parent 16 0 R
/Resources 46 0 R
/Type /Page
>>
endobj
14 0 obj
<<
/A 47 0 R
/Next 48 0 R
/Parent 6 0 R
/Title
>>
endobj
15 0 obj
<<
/A 49 0 R
/Parent 6 0 R
/Prev 50 0 R
/Title
>>
endobj
16 0 obj
<<
/Count 7
/Kids [51 0 R 13 0 R 52 0 R 53 0 R 54 0 R 55 0 R 56 0 R]
/Parent 7 0 R
/Type /Pages
>>
endobj
17 0 obj
<<
/Count 4
/Kids [57 0 R 58 0 R 59 0 R 60 0 R]
/Parent 7 0 R
/Type /Pages
>>
endobj
18 0 obj
<<
/Kids [61 0 R 62 0 R 63 0 R 64 0 R 65 0 R 66 0 R]
/Limits [(AMS.8) (page.10)]
>>
endobj
19 0 obj
<<
/Kids [67 0 R 68 0 R 69 0 R 70 0 R 71 0 R 72 0 R]
/Limits [(page.2) (subsection.8.2)]
>>
endobj
20 0 obj
<<
/Kids [73 0 R 74 0 R 75 0 R 76 0 R 77 0 R 78 0 R]
/Limits [(subsection.8.3) (theorem.8.5)]
>>
endobj
21 0 obj
<<
/Kids [79 0 R]
/Limits [(theorem.8.6) (theorem.8.7)]
>>
endobj
22 0 obj
<<
/A <<
/D (cite.MardarePP:LICS16)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [65.899 559.282 76.23 566.91]
/Subtype /Link
/Type /Annot
>>
endobj
23 0 obj
<<
/A <<
/D (cite.HylandPP06)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [105.245 548.324 111.406 555.951]
/Subtype /Link
/Type /Annot
>>
endobj
24 0 obj
<<
/A <<
/D (cite.MardarePP:LICS16)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [140.025 537.365 150.357 544.993]
/Subtype /Link
/Type /Annot
>>
endobj
25 0 obj
<<
/A <<
/D (cite.Moggi88)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [283.763 415.029 294.094 422.657]
/Subtype /Link
/Type /Annot
>>
endobj
26 0 obj
<<
/A <<
/D (cite.Moggi91)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [52.798 404.07 63.129 411.698]
/Subtype /Link
/Type /Annot
>>
endobj
27 0 obj
<<
/A <<
/D (cite.Plotkin01)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [269.461 371.194 279.792 378.822]
/Subtype /Link
/Type /Annot
>>
endobj
28 0 obj
<<
/A <<
/D (cite.Plotkin02)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [281.582 371.194 291.913 378.822]
/Subtype /Link
/Type /Annot
>>
endobj
29 0 obj
<<
/A <<
/D (cite.Hyland07)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [224.294 349.276 234.626 356.904]
/Subtype /Link
/Type /Annot
>>
endobj
30 0 obj
<<
/A <<
/D (cite.HylandPP06)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [187.012 338.317 193.174 345.945]
/Subtype /Link
/Type /Annot
>>
endobj
31 0 obj
<<
/A <<
/D (cite.MardarePP:LICS16)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [243.765 316.399 254.096 324.027]
/Subtype /Link
/Type /Annot
>>
endobj
32 0 obj
<<
/A <<
/D (cite.HylandPP06)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [109.443 294.481 115.605 302.109]
/Subtype /Link
/Type /Annot
>>
endobj
33 0 obj
<<
/A <<
/D (cite.MardarePP:LICS16)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [93.732 283.522 104.063 291.15]
/Subtype /Link
/Type /Annot
>>
endobj
34 0 obj
<<
/A <<
/D (cite.HylandPP06)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [195.396 228.728 201.558 236.356]
/Subtype /Link
/Type /Annot
>>
endobj
35 0 obj
<<
/A <<
/D (cite.Panangaden09)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [264.431 206.81 274.762 214.438]
/Subtype /Link
/Type /Annot
>>
endobj
36 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (https://doi.org/10.1145/3209108.3209177)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [53.004 71.634 167.875 80.798]
/Subtype /Link
/Type /Annot
>>
endobj
37 0 obj
<<
/A <<
/D (cite.Scott70)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [425.994 463.392 436.325 471.02]
/Subtype /Link
/Type /Annot
>>
endobj
38 0 obj
<<
/A <<
/D (cite.Scott72)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [439.03 463.473 449.361 471.02]
/Subtype /Link
/Type /Annot
>>
endobj
39 0 obj
<<
/A <<
/D (cite.MardarePP:LICS16)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [330.195 384.954 340.527 392.582]
/Subtype /Link
/Type /Annot
>>
endobj
40 0 obj
<<
/A <<
/D (section.6)
/S /GoTo
>>
/Border [0 0 0]
/C [1 0 0]
/H /I
/Rect [495.623 203.865 501.784 214.251]
/Subtype /Link
/Type /Annot
>>
endobj
41 0 obj
<<
/A <<
/D (cite.MardarePP:LICS16)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [339.291 194.87 349.622 202.498]
/Subtype /Link
/Type /Annot
>>
endobj
42 0 obj
<<
/A <<
/D (section.5)
/S /GoTo
>>
/Border [0 0 0]
/C [1 0 0]
/H /I
/Rect [533.198 181.88 539.443 192.333]
/Subtype /Link
/Type /Annot
>>
endobj
43 0 obj
<<
/A <<
/D (section.7)
/S /GoTo
>>
/Border [0 0 0]
/C [1 0 0]
/H /I
/Rect [367.928 105.186 374.174 115.638]
/Subtype /Link
/Type /Annot
>>
endobj
44 0 obj
<<
/A <<
/D (cite.HylandPP06)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [449.831 85.143 455.993 92.771]
/Subtype /Link
/Type /Annot
>>
endobj
45 0 obj
<<
/Length 7229
/Filter /FlateDecode
>>
stream
x<]q[T[^TEYHʮmU$Wy{oOt`wNy!`js%BL_~R+YJZsup%,jJQTW_Ke?4݊noe.>Q6~{jnWR\WK
xoaijՍVE{tQY{l`_Kh u?=ӵ7omgS*`t?6S\)