%PDF-1.7
%
1 0 obj
<<
/Lang (en)
/Metadata 2 0 R
/Names 3 0 R
/OpenAction [4 0 R /FitH 850]
/Outlines 5 0 R
/PageLabels 6 0 R
/PageLayout /SinglePage
/PageMode /UseOutlines
/Pages 7 0 R
/Threads [8 0 R]
/Type /Catalog
/VTeX#3AMarkInfo <<
/LineNMarked false
>>
>>
endobj
9 0 obj
<<
/Author <416E74F36E696F20526176617261>
/CreationDate (D:20120214090518+02'00')
/Creator (Elsevier)
/CrossMarkDomains#5B1#5D (sciencedirect.com)
/CrossMarkDomains#5B2#5D (elsevier.com)
/CrossmarkDomainExclusive (true)
/CrossmarkMajorVersionDate (2010-04-23)
/ElsevierWebPDFSpecifications (6.2)
/ModDate (D:20120214090518+02'00')
/Producer (Acrobat Distiller 9.4.6 \(Windows\))
/Subject <496E666F726D6174696F6E20616E6420436F6D7075746174696F6E2C20323132202832303132292036348539312E2031302E313031362F6A2E69632E323031312E31322E303035>
/Title (An Algebra of Behavioural Types)
/Trapped /False
/doi (10.1016/j.ic.2011.12.005)
/robots (noindex)
>>
endobj
2 0 obj
<<
/Length 6527
/Subtype /XML
/Type /Metadata
>>
stream
application/pdf
doi:10.1016/j.ic.2011.12.005
An Algebra of Behavioural Types
António Ravara
Pedro Resende
Vasco T. Vasconcelos
Information and Computation, 212 (2012) 64–91. 10.1016/j.ic.2011.12.005
Elsevier Inc.
journal
Information and Computation
Copyright ©2012 Published by Elsevier Inc.
0890-5401
212
64-91
64
91
10.1016/j.ic.2011.12.005
http://dx.doi.org/10.1016/j.ic.2011.12.005
March 2012
C
2010-04-23
true
10.1016/j.ic.2011.12.005
elsevier.com
sciencedirect.com
6.2
10.1016/j.ic.2011.12.005
noindex
2010-04-23
true
sciencedirect.com
elsevier.com
Elsevier
2012-02-14T09:05:18+02:00
2012-02-14T09:05:18+02:00
2012-02-14T09:05:18+02:00
True
Acrobat Distiller 9.4.6 (Windows)
False
uuid:3c6b0777-4b0f-4592-99e7-dd5054aee99c
uuid:b32a7673-09ad-4705-a4a5-629a4b93e721
endstream
endobj
3 0 obj
<<
/Dests 10 0 R
>>
endobj
4 0 obj
<<
/Annots [11 0 R 12 0 R 13 0 R 14 0 R 15 0 R 16 0 R 17 0 R 18 0 R]
/B [19 0 R]
/Contents [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]
/CropBox [8.504 8.504 552.756 751.181]
/MediaBox [0 0 561.26 759.685]
/Parent 30 0 R
/Resources <<
/ExtGState <<
/GS0 31 0 R
>>
/Font <<
/T1_0 32 0 R
/T1_1 33 0 R
/T1_2 34 0 R
/T1_3 35 0 R
/T1_4 36 0 R
/T1_5 37 0 R
/T1_6 38 0 R
/T1_7 39 0 R
/F9 40 0 R
/F10 41 0 R
>>
/ProcSet [/PDF /Text /ImageC]
/XObject <<
/Im0 42 0 R
/Im1 43 0 R
/Im3 44 0 R
>>
>>
/Rotate 0
/TrimBox [8.504 8.504 552.756 751.181]
/Type /Page
>>
endobj
5 0 obj
<<
/Count 53
/First 45 0 R
/Last 45 0 R
>>
endobj
6 0 obj
<<
/Nums [0 46 0 R]
>>
endobj
7 0 obj
<<
/Count 28
/Kids [30 0 R 47 0 R 48 0 R]
/Type /Pages
>>
endobj
8 0 obj
<<
/F 19 0 R
/I <<
/Title (article)
>>
>>
endobj
10 0 obj
<<
/Kids [49 0 R]
>>
endobj
11 0 obj
<<
/Type /Annot
/Subtype /Link
/A 50 0 R
/Rect [8.504 714.49304 552.756 742.677]
/F 0
/C [0.718 0.329 0.0]
>>
endobj
12 0 obj
<<
/A <<
/S /URI
/URI (http://dx.doi.org/10.1016/j.ic.2011.12.005)
>>
/Border [0 0 0]
/C [1 1 1]
/H /I
/Rect [209.294 709.393 355.23 717.254]
/Subtype /Link
/Type /Annot
>>
endobj
13 0 obj
<<
/A <<
/S /URI
/URI (http://www.ScienceDirect.com/)
>>
/Border [0 0 0]
/C [1 1 1]
/H /I
/Rect [289.269 681.926 375.768 691.455]
/Subtype /Link
/Type /Annot
>>
endobj
14 0 obj
<<
/A <<
/S /URI
/URI (http://www.elsevier.com/locate/yinco)
>>
/Border [0 0 0]
/C [1 1 1]
/H /I
/Rect [224.612 626.126 342.216 635.655]
/Subtype /Link
/Type /Annot
>>
endobj
15 0 obj
<<
/A <<
/S /URI
/URI (mailto:aravara@fct.unl.pt)
>>
/Border [0 0 0]
/C [1 1 1]
/H /I
/Rect [111.032 100.417 164.556 108.278]
/Subtype /Link
/Type /Annot
>>
endobj
16 0 obj
<<
/A <<
/S /URI
/URI (mailto:pmr@math.ist.utl.pt)
>>
/Border [0 0 0]
/C [1 1 1]
/H /I
/Rect [202.165 100.417 261.576 108.278]
/Subtype /Link
/Type /Annot
>>
endobj
17 0 obj
<<
/A <<
/S /URI
/URI (mailto:vv@di.fc.ul.pt)
>>
/Border [0 0 0]
/C [1 1 1]
/H /I
/Rect [302.677 100.417 342.684 108.278]
/Subtype /Link
/Type /Annot
>>
endobj
18 0 obj
<<
/A <<
/S /URI
/URI (http://dx.doi.org/10.1016/j.ic.2011.12.005)
>>
/Border [0 0 0]
/C [1 1 1]
/H /I
/Rect [48.6626 57.0007 131.328 64.8621]
/Subtype /Link
/Type /Annot
>>
endobj
19 0 obj
<<
/N 51 0 R
/P 4 0 R
/R [47 81 519 700]
/T 8 0 R
/V 52 0 R
>>
endobj
20 0 obj
<<
/Length 775
/Filter /FlateDecode
>>
stream
HTmk6_j5#il
/qBgl]v$ܿȲMyyg\_a>ފM]m*FCiq_6b*5aX1$ mGa7FcpPU>Op<4c;jeK/ߦK)/"y09 `2J4[n$m #CM8aזR+M/__t]s;=4>|\1>h[s!|yK$& vb`PYP}-
^ʈMhsZ1Z@iMr@ˡc?
+#cr]+]7TP[
ܵ#9)_<~cn3fr;
!_cD{)7:&ϧ' uN妽z7ݰkƸaQ$&ryHHCq,7,,\Tg"v$4zֺN{Rb7?s2_zޑr//'Qi]~(F!vx.]z+e>c<bLg{)A'֒ہs?U)sV63,3[鴊)k I{^[tCHYٿk3'sd5 >{'L\_̒"/!A2ڒ{p!uy%DYo孲Q/se鍜