%PDF-1.6
%
1 0 obj
<<
/Lang (en)
/Metadata 2 0 R
/Names 3 0 R
/OpenAction 4 0 R
/Outlines 5 0 R
/PageMode /UseOutlines
/Pages 6 0 R
/Type /Catalog
/ViewerPreferences <<
/DisplayDocTitle true
>>
>>
endobj
7 0 obj
<<
/Author (Clemens Grabmayer and Wan Fokkink)
/CreationDate (D:20200430134609+02'00')
/Creator (LaTeX with acmart 2020/02/22 v1.70 Typesetting articles for the Association for Computing Machinery and hyperref 2018/11/30 v6.88e Hypertext links for LaTeX)
/Keywords (regular expressions, process algebra, bisimilarity, process graphs, complete proof system)
/ModDate (D:20210105133806+01'00')
/PTEX.Fullbanner (This is pdfTeX, Version 3.14159265-2.6-1.40.20 \(TeX Live 2019/MacPorts 2019.50896_2\) kpathsea version 6.3.1)
/Producer (pdfTeX-1.40.20)
/Subject (- Theory of computation -> Process calculi.Equational logic and rewriting.)
/Title (A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity)
/Trapped /False
>>
endobj
2 0 obj
<<
/Length 4284
/Subtype /XML
/Type /Metadata
>>
stream
application/pdf
Clemens Grabmayer and Wan Fokkink
- Theory of computation -> Process calculi.Equational logic and rewriting.
A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity
2020-04-30T13:46:09+02:00
LaTeX with acmart 2020/02/22 v1.70 Typesetting articles for the Association for Computing Machinery and hyperref 2018/11/30 v6.88e Hypertext links for LaTeX
2021-01-05T13:38:06+01:00
2021-01-05T13:38:06+01:00
regular expressions, process algebra, bisimilarity, process graphs, complete proof system
pdfTeX-1.40.20
False
This is pdfTeX, Version 3.14159265-2.6-1.40.20 (TeX Live 2019/MacPorts 2019.50896_2) kpathsea version 6.3.1
uuid:a5c84f00-bd65-4cd2-9a95-e0b12a51688f
uuid:16b7a127-9fb6-4784-aea0-426f293da263
endstream
endobj
3 0 obj
<<
/Dests 8 0 R
>>
endobj
4 0 obj
<<
/D [9 0 R /Fit]
/S /GoTo
>>
endobj
5 0 obj
<<
/Count 10
/First 10 0 R
/Last 11 0 R
/Type /Outlines
>>
endobj
6 0 obj
<<
/Count 15
/Kids [12 0 R 13 0 R 14 0 R]
/Type /Pages
>>
endobj
8 0 obj
<<
/Kids [15 0 R 16 0 R 17 0 R 18 0 R]
/Limits [(Doc-Start) (theorem.7.3)]
>>
endobj
9 0 obj
<<
/Annots [19 0 R 20 0 R 21 0 R 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]
/Contents [41 0 R 42 0 R 43 0 R 44 0 R 45 0 R 46 0 R 47 0 R 48 0 R]
/CropBox [0 0 612 792]
/MediaBox [0 0 612 792]
/Parent 12 0 R
/Resources 49 0 R
/Rotate 0
/Type /Page
>>
endobj
10 0 obj
<<
/A 50 0 R
/Next 51 0 R
/Parent 5 0 R
/Title
>>
endobj
11 0 obj
<<
/A 52 0 R
/Parent 5 0 R
/Prev 53 0 R
/Title
>>
endobj
12 0 obj
<<
/Count 7
/Kids [54 0 R 9 0 R 55 0 R 56 0 R 57 0 R 58 0 R 59 0 R]
/Parent 6 0 R
/Type /Pages
>>
endobj
13 0 obj
<<
/Count 6
/Kids [60 0 R 61 0 R 62 0 R 63 0 R 64 0 R 65 0 R]
/Parent 6 0 R
/Type /Pages
>>
endobj
14 0 obj
<<
/Count 2
/Kids [66 0 R 67 0 R]
/Parent 6 0 R
/Type /Pages
>>
endobj
15 0 obj
<<
/Kids [68 0 R 69 0 R 70 0 R 71 0 R 72 0 R 73 0 R]
/Limits [(Doc-Start) (cite.fokk:zant:1994)]
>>
endobj
16 0 obj
<<
/Kids [74 0 R 75 0 R 76 0 R 77 0 R 78 0 R 79 0 R]
/Limits [(cite.grab:2005) (page.7)]
>>
endobj
17 0 obj
<<
/Kids [80 0 R 81 0 R 82 0 R 83 0 R 84 0 R 85 0 R]
/Limits [(page.8) (theorem.4.1)]
>>
endobj
18 0 obj
<<
/Kids [86 0 R 87 0 R 88 0 R 89 0 R]
/Limits [(theorem.5.1) (theorem.7.3)]
>>
endobj
19 0 obj
<<
/A <<
/D (page.14)
/S /GoTo
>>
/Border [0 0 0]
/C [1 0 0]
/H /I
/Rect [147.307 278.073 157.472 288.35]
/Subtype /Link
/Type /Annot
>>
endobj
20 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (https://doi.org/10.1145/3373718.3394744)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [180.804 278.073 295.041 288.35]
/Subtype /Link
/Type /Annot
>>
endobj
21 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (https://doi.org/10.1145/3373718.3394744)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [53.004 269.13 84.182 276.728]
/Subtype /Link
/Type /Annot
>>
endobj
22 0 obj
<<
/A <<
/D (cite.klee:1951)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [232.99 229.678 244.248 237.932]
/Subtype /Link
/Type /Annot
>>
endobj
23 0 obj
<<
/A <<
/D (cite.thom:1968)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [71.866 205.767 83.124 214.021]
/Subtype /Link
/Type /Annot
>>
endobj
24 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (https://doi.org/10.1145/3373718.3394744)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [53.004 72.428 184 82.873]
/Subtype /Link
/Type /Annot
>>
endobj
25 0 obj
<<
/A <<
/D (cite.aand:1965)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [429.625 510.651 436.25 518.815]
/Subtype /Link
/Type /Annot
>>
endobj
26 0 obj
<<
/A <<
/D (cite.salo:1966)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [499.972 510.651 511.229 518.815]
/Subtype /Link
/Type /Annot
>>
endobj
27 0 obj
<<
/A <<
/D (cite.krob:1991)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [518.887 474.696 530.145 482.95]
/Subtype /Link
/Type /Annot
>>
endobj
28 0 obj
<<
/A <<
/D (cite.koze:1994)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [396.514 450.785 407.772 459.039]
/Subtype /Link
/Type /Annot
>>
endobj
29 0 obj
<<
/A <<
/D (cite.berg-fokk-pons:2001)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [466.797 426.875 473.422 435.129]
/Subtype /Link
/Type /Annot
>>
endobj
30 0 obj
<<
/A <<
/D (cite.park:1981)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [543.419 415.01 554.677 423.174]
/Subtype /Link
/Type /Annot
>>
endobj
31 0 obj
<<
/A <<
/D (cite.miln:1984)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [376.036 403.054 387.294 411.219]
/Subtype /Link
/Type /Annot
>>
endobj
32 0 obj
<<
/A <<
/D (cite.sewe:1994)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [490.793 259.503 502.051 267.757]
/Subtype /Link
/Type /Annot
>>
endobj
33 0 obj
<<
/A <<
/D (cite.sewe:1997)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [504.712 259.503 515.97 267.757]
/Subtype /Link
/Type /Annot
>>
endobj
34 0 obj
<<
/A <<
/D (cite.berg-beth-pons:1994)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [401.194 247.637 407.819 255.802]
/Subtype /Link
/Type /Annot
>>
endobj
35 0 obj
<<
/A <<
/D (cite.troe:1993)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [492.961 175.817 504.219 184.071]
/Subtype /Link
/Type /Annot
>>
endobj
36 0 obj
<<
/A <<
/D (cite.fokk:1996:kleene:star:AMAST)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [533.787 163.861 540.412 172.115]
/Subtype /Link
/Type /Annot
>>
endobj
37 0 obj
<<
/A <<
/D (cite.fokk:zant:1994)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [543.419 163.951 554.677 172.115]
/Subtype /Link
/Type /Annot
>>
endobj
38 0 obj
<<
/A <<
/D (cite.fokk:1996:term:cycle:LGPS)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [440.847 116.041 447.472 124.295]
/Subtype /Link
/Type /Annot
>>
endobj
39 0 obj
<<
/A <<
/D (cite.fokk:1997:pl:ICALP)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [450.162 116.041 461.419 124.295]
/Subtype /Link
/Type /Annot
>>
endobj
40 0 obj
<<
/A <<
/D (cite.miln:1984)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/H /I
/Rect [543.182 80.265 554.44 88.429]
/Subtype /Link
/Type /Annot
>>
endobj
41 0 obj
<<
/Length 962
/Filter /FlateDecode
>>
stream
HU˖6+}N̐DJ]NJONⴋ6Zmfd$(?&.ɎpY={y#&3dEV["Tͪ WLV6ozoñøXj:lӃ0.~%ZQd)˛hkmhwSgF<혾{i3u8L\xb"55UzK*aTmgvF|7