Automatically assigned DDC number: 005131
Manually assigned DDC number: 005131

Number of references: 34

Title: Assigning Types to Processes

Author:

Author:

Subject: Nobuko Yoshida,Matthew Hennessy Assigning Types to Processes

Description: this paper we propose a fine-grained typing system for a higher-order p-calculus which can be used to control the effect of such migrating code on local environments. Processes may be assigned different types depending on their intended use. This is in contrast to most of the previous work on typing processes where all processes are typed by a unique constant type, indicating essentially that they are well-typed relative to a particular environment. Our fine-grained typing facilitates the management of access rights and provides host protection from potentially malicious behaviour

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 2002-04-21

Pubyear: 2000

Format: ps

Identifier: http://citeseer.ist.psu.edu/508996.html

Source: http://www.mcs.le.ac.uk/~nyoshida/paper/assign_final200402.ps.gz

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml version="1.0" encoding="UTF-8"?>

<references_metadata>

<rec ID="/318576.html" Type="article" CiteSeer_Book="Journal of the ACM" CiteSeer_Volume="46" Title="Secrecy by Typing in Security Protocols,">

<identifier Org="ISBN:0387240500" Paper_ID="/318576.html" Extracted="0387240500" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.0625" />

<identifier Org="ISBN:0769506712" Paper_ID="/318576.html" Extracted="0769506712" DDC="004.22" Normalized_DDC="00422" Normalized_Weight="0.0625" />

<identifier Org="ISBN:0769523404" Paper_ID="/318576.html" Extracted="0769523404" />

<identifier Org="ISBN:1586035703" Paper_ID="/318576.html" Extracted="1586035703" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.0625" />

<identifier Org="ISBN:1595932267" Paper_ID="/318576.html" Extracted="1595932267" />

<identifier Org="ISBN:1595935185" Paper_ID="/318576.html" Extracted="1595935185" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540007083" Paper_ID="/318576.html" Extracted="3540007083" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540254358" Paper_ID="/318576.html" Extracted="3540254358" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540282270" Paper_ID="/318576.html" Extracted="3540282270" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540283099" Paper_ID="/318576.html" Extracted="3540283099" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540297979" Paper_ID="/318576.html" Extracted="3540297979" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540309349" Paper_ID="/318576.html" Extracted="3540309349" />

<identifier Org="ISBN:3540326286" Paper_ID="/318576.html" Extracted="3540326286" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540418644" Paper_ID="/318576.html" Extracted="3540418644" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540428968" Paper_ID="/318576.html" Extracted="3540428968" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540440437" Paper_ID="/318576.html" Extracted="3540440437" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />

<identifier Org="ISBN:354063388X" Paper_ID="/318576.html" Extracted="354063388X" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540648968" Paper_ID="/318576.html" Extracted="3540648968" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540678972" Paper_ID="/318576.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.0625" />

</rec>

<rec ID="/2435.html" Type="article" CiteSeer_Book="ACM Transactions on Programming Languages and Systems" CiteSeer_Volume="13" Title="Dynamic Typing in a Statically Typed Language,">

<identifier Org="ISBN:0596006624" Paper_ID="/2435.html" Extracted="0596006624" DDC="005.1/092" Normalized_DDC="0051092" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:1402081405" Paper_ID="/2435.html" Extracted="1402081405" DDC="004.01" Normalized_DDC="00401" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:1558604472" Paper_ID="/2435.html" Extracted="1558604472" />

<identifier Org="ISBN:1581134150" Paper_ID="/2435.html" Extracted="1581134150" />

<identifier Org="ISBN:1581136056" Paper_ID="/2435.html" Extracted="1581136056" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:1581136285" Paper_ID="/2435.html" Extracted="1581136285" />

<identifier Org="ISBN:1852334673" Paper_ID="/2435.html" Extracted="1852334673" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540237275" Paper_ID="/2435.html" Extracted="3540237275" DDC="005.1/14" Normalized_DDC="005114" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540421963" Paper_ID="/2435.html" Extracted="3540421963" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540543961" Paper_ID="/2435.html" Extracted="3540543961" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540552537" Paper_ID="/2435.html" Extracted="3540552537" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540558446" Paper_ID="/2435.html" Extracted="3540558446" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540565175" Paper_ID="/2435.html" Extracted="3540565175" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540648232" Paper_ID="/2435.html" Extracted="3540648232" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540705910" Paper_ID="/2435.html" Extracted="3540705910" />

<identifier Org="ISBN:3540735887" Paper_ID="/2435.html" Extracted="3540735887" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3642005896" Paper_ID="/2435.html" Extracted="3642005896" />

</rec>

<rec ID="/139346.html" Type="techreport" CiteSeer_Book="" CiteSeer_Volume="" Title="Translating {C}ore {F}acile," />

<rec ID="/301796.html" Type="article" CiteSeer_Book="ACM Transactions on Programming Languages and Systems" CiteSeer_Volume="15" Title="Subtyping Recursive Types,">

<identifier Org="ISBN:1402065841" Paper_ID="/301796.html" Extracted="1402065841" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:158488360X" Paper_ID="/301796.html" Extracted="158488360X" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540254358" Paper_ID="/301796.html" Extracted="3540254358" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540255931" Paper_ID="/301796.html" Extracted="3540255931" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540419608" Paper_ID="/301796.html" Extracted="3540419608" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540433635" Paper_ID="/301796.html" Extracted="3540433635" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:354043366X" Paper_ID="/301796.html" Extracted="354043366X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540543171" Paper_ID="/301796.html" Extracted="3540543171" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540552510" Paper_ID="/301796.html" Extracted="3540552510" DDC="511/.5" Normalized_DDC="5115" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540552537" Paper_ID="/301796.html" Extracted="3540552537" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540577858" Paper_ID="/301796.html" Extracted="3540577858" DDC="004/.01/511" Normalized_DDC="00401511" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540578870" Paper_ID="/301796.html" Extracted="3540578870" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540614400" Paper_ID="/301796.html" Extracted="3540614400" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540617396" Paper_ID="/301796.html" Extracted="3540617396" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540626883" Paper_ID="/301796.html" Extracted="3540626883" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540665366" Paper_ID="/301796.html" Extracted="3540665366" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540679340" Paper_ID="/301796.html" Extracted="3540679340" DDC="346/.092" Normalized_DDC="346092" Normalized_Weight="0.058823529411764705" />

</rec>

<rec ID="/318350.html" Type="incollection" CiteSeer_Book="Proc of 1st Int Symp on Theor Aspects of Computer Software TACS91 Sendai Japan 2427 Sept 1991" CiteSeer_Volume="" Title="An Extension of System {F} with Subtyping,">

<identifier Org="ISBN:026207155X" Paper_ID="/318350.html" Extracted="026207155X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:0521631688" Paper_ID="/318350.html" Extracted="0521631688" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:078032563X" Paper_ID="/318350.html" Extracted="078032563X" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:0792386434" Paper_ID="/318350.html" Extracted="0792386434" DDC="621.382" Normalized_DDC="621382" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:0818637102" Paper_ID="/318350.html" Extracted="0818637102" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:0818663103" Paper_ID="/318350.html" Extracted="0818663103" />

<identifier Org="ISBN:1402071817" Paper_ID="/318350.html" Extracted="1402071817" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540006222" Paper_ID="/318350.html" Extracted="3540006222" DDC="005.8/2" Normalized_DDC="00582" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540283722" Paper_ID="/318350.html" Extracted="3540283722" />

<identifier Org="ISBN:3540405313" Paper_ID="/318350.html" Extracted="3540405313" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540544151" Paper_ID="/318350.html" Extracted="3540544151" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540565175" Paper_ID="/318350.html" Extracted="3540565175" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540577858" Paper_ID="/318350.html" Extracted="3540577858" DDC="004/.01/511" Normalized_DDC="00401511" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540578803" Paper_ID="/318350.html" Extracted="3540578803" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540592938" Paper_ID="/318350.html" Extracted="3540592938" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540601600" Paper_ID="/318350.html" Extracted="3540601600" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540615504" Paper_ID="/318350.html" Extracted="3540615504" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540645705" Paper_ID="/318350.html" Extracted="3540645705" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540679340" Paper_ID="/318350.html" Extracted="3540679340" DDC="346/.092" Normalized_DDC="346092" Normalized_Weight="0.058823529411764705" />

</rec>

<rec ID="/685694.html" Type="article" CiteSeer_Book="IEEE Transactions on Software Engineering Special Issue on Mobility and Network Aware Computing" CiteSeer_Volume="" Title="{}KLAIM: a Kernel Language for Agents Interaction and Mobility,">

<identifier Org="ISBN:0818687517" Paper_ID="/685694.html" Extracted="0818687517" />

<identifier Org="ISBN:3540006796" Paper_ID="/685694.html" Extracted="3540006796" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540205276" Paper_ID="/685694.html" Extracted="3540205276" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540205837" Paper_ID="/685694.html" Extracted="3540205837" DDC="005" Normalized_DDC="005" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540221808" Paper_ID="/685694.html" Extracted="3540221808" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540241019" Paper_ID="/685694.html" Extracted="3540241019" DDC="004.65" Normalized_DDC="00465" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540256970" Paper_ID="/685694.html" Extracted="3540256970" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540261818" Paper_ID="/685694.html" Extracted="3540261818" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:354029046X" Paper_ID="/685694.html" Extracted="354029046X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540291075" Paper_ID="/685694.html" Extracted="3540291075" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540300074" Paper_ID="/685694.html" Extracted="3540300074" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540410201" Paper_ID="/685694.html" Extracted="3540410201" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:354065836X" Paper_ID="/685694.html" Extracted="354065836X" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540661301" Paper_ID="/685694.html" Extracted="3540661301" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540675302" Paper_ID="/685694.html" Extracted="3540675302" DDC="005.1/01/512" Normalized_DDC="005101512" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540678972" Paper_ID="/685694.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540682643" Paper_ID="/685694.html" Extracted="3540682643" />

<identifier Org="ISBN:3540732098" Paper_ID="/685694.html" Extracted="3540732098" DDC="004.01/51" Normalized_DDC="0040151" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540787380" Paper_ID="/685694.html" Extracted="3540787380" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3642016642" Paper_ID="/685694.html" Extracted="3642016642" />

</rec>

<rec ID="/53495.html" Type="inproceedings" CiteSeer_Book="Proceedings of the 7th International Conference on Concurrency Theory CONCUR96" CiteSeer_Volume="" Title="A Calculus of Mobile Agents,">

<identifier Org="ISBN:0769506348" Paper_ID="/53495.html" Extracted="0769506348" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540008861" Paper_ID="/53495.html" Extracted="3540008861" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540008977" Paper_ID="/53495.html" Extracted="3540008977" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540209557" Paper_ID="/53495.html" Extracted="3540209557" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:354021044X" Paper_ID="/53495.html" Extracted="354021044X" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540241019" Paper_ID="/53495.html" Extracted="3540241019" DDC="004.65" Normalized_DDC="00465" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:354025630X" Paper_ID="/53495.html" Extracted="354025630X" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540425586" Paper_ID="/53495.html" Extracted="3540425586" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540427872" Paper_ID="/53495.html" Extracted="3540427872" DDC="004/.358" Normalized_DDC="004358" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540428968" Paper_ID="/53495.html" Extracted="3540428968" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540434100" Paper_ID="/53495.html" Extracted="3540434100" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540616047" Paper_ID="/53495.html" Extracted="3540616047" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540647813" Paper_ID="/53495.html" Extracted="3540647813" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540657037" Paper_ID="/53495.html" Extracted="3540657037" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540661301" Paper_ID="/53495.html" Extracted="3540661301" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540708804" Paper_ID="/53495.html" Extracted="3540708804" />

<identifier Org="ISBN:3540732098" Paper_ID="/53495.html" Extracted="3540732098" DDC="004.01/51" Normalized_DDC="0040151" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540752900" Paper_ID="/53495.html" Extracted="3540752900" DDC="003/.54" Normalized_DDC="00354" Normalized_Weight="0.058823529411764705" />

</rec>

<rec ID="/262375.html" Type="inproceedings" CiteSeer_Book="Conference record of POPL 98 the 25th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages San Diego California 1921 January 1998" CiteSeer_Volume="" Title="The {SLam} calculus: programming with secrecy and integrity,">

<identifier Org="ISBN:0387240500" Paper_ID="/262375.html" Extracted="0387240500" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:0769516890" Paper_ID="/262375.html" Extracted="0769516890" />

<identifier Org="ISBN:1586030159" Paper_ID="/262375.html" Extracted="1586030159" />

<identifier Org="ISBN:3540001336" Paper_ID="/262375.html" Extracted="3540001336" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540008861" Paper_ID="/262375.html" Extracted="3540008861" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540192425" Paper_ID="/262375.html" Extracted="3540192425" />

<identifier Org="ISBN:3540227911" Paper_ID="/262375.html" Extracted="3540227911" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540242872" Paper_ID="/262375.html" Extracted="3540242872" DDC="332.1/78" Normalized_DDC="332178" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:354027992X" Paper_ID="/262375.html" Extracted="354027992X" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540300074" Paper_ID="/262375.html" Extracted="3540300074" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540418644" Paper_ID="/262375.html" Extracted="3540418644" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:354043075X" Paper_ID="/262375.html" Extracted="354043075X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540647813" Paper_ID="/262375.html" Extracted="3540647813" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540656995" Paper_ID="/262375.html" Extracted="3540656995" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540661301" Paper_ID="/262375.html" Extracted="3540661301" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540662243" Paper_ID="/262375.html" Extracted="3540662243" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:354066677X" Paper_ID="/262375.html" Extracted="354066677X" DDC="005.1/14" Normalized_DDC="005114" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:364201464X" Paper_ID="/262375.html" Extracted="364201464X" />

</rec>

<rec ID="/446772.html" Type="inproceedings" CiteSeer_Book="HLCL 98 HighLevel Concurrent Languages Nice France September 12 1998" CiteSeer_Volume="" Title="Resource Access Control in Systems of Mobile Agents,">

<identifier Org="ISBN:3540008861" Paper_ID="/446772.html" Extracted="3540008861" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540008977" Paper_ID="/446772.html" Extracted="3540008977" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540204911" Paper_ID="/446772.html" Extracted="3540204911" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540205837" Paper_ID="/446772.html" Extracted="3540205837" DDC="005" Normalized_DDC="005" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540208879" Paper_ID="/446772.html" Extracted="3540208879" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540212981" Paper_ID="/446772.html" Extracted="3540212981" DDC="005" Normalized_DDC="005" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540228233" Paper_ID="/446772.html" Extracted="3540228233" DDC="004.1" Normalized_DDC="0041" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:354022940X" Paper_ID="/446772.html" Extracted="354022940X" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:354025630X" Paper_ID="/446772.html" Extracted="354025630X" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540300074" Paper_ID="/446772.html" Extracted="3540300074" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540424970" Paper_ID="/446772.html" Extracted="3540424970" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540425586" Paper_ID="/446772.html" Extracted="3540425586" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540661301" Paper_ID="/446772.html" Extracted="3540661301" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540666737" Paper_ID="/446772.html" Extracted="3540666737" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540688544" Paper_ID="/446772.html" Extracted="3540688544" DDC="004.6/2" Normalized_DDC="00462" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540732098" Paper_ID="/446772.html" Extracted="3540732098" DDC="004.01/51" Normalized_DDC="0040151" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540735488" Paper_ID="/446772.html" Extracted="3540735488" />

<identifier Org="ISBN:3540752900" Paper_ID="/446772.html" Extracted="3540752900" DDC="003/.54" Normalized_DDC="00354" Normalized_Weight="0.058823529411764705" />

</rec>

<rec ID="/29355.html" Type="inproceedings" CiteSeer_Book="Symposium on Principles of Programming Languages" CiteSeer_Volume="" Title="Composing Processes,">

<identifier Org="ISBN:0080359434" Paper_ID="/29355.html" Extracted="0080359434" DDC="403" Normalized_DDC="403" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:0415230721" Paper_ID="/29355.html" Extracted="0415230721" DDC="372.87/4" Normalized_DDC="372874" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:0521387787" Paper_ID="/29355.html" Extracted="0521387787" DDC="808/.042/07" Normalized_DDC="80804207" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:0791464776" Paper_ID="/29355.html" Extracted="0791464776" DDC="808/.042/071" Normalized_DDC="808042071" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:0805821473" Paper_ID="/29355.html" Extracted="0805821473" DDC="808" Normalized_DDC="808" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:0805850465" Paper_ID="/29355.html" Extracted="0805850465" DDC="418/.0071" Normalized_DDC="4180071" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:0814108032" Paper_ID="/29355.html" Extracted="0814108032" />

<identifier Org="ISBN:0822954850" Paper_ID="/29355.html" Extracted="0822954850" DDC="808/.042/07" Normalized_DDC="80804207" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:0867090472" Paper_ID="/29355.html" Extracted="0867090472" DDC="418/.007" Normalized_DDC="418007" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:0874212383" Paper_ID="/29355.html" Extracted="0874212383" DDC="808/.042/07" Normalized_DDC="80804207" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:0893914347" Paper_ID="/29355.html" Extracted="0893914347" DDC="808/.042" Normalized_DDC="808042" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:1572736410" Paper_ID="/29355.html" Extracted="1572736410" DDC="808/.042" Normalized_DDC="808042" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:1593857500" Paper_ID="/29355.html" Extracted="1593857500" DDC="808.042071" Normalized_DDC="808042071" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:1880393131" Paper_ID="/29355.html" Extracted="1880393131" DDC="808.042" Normalized_DDC="808042" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:1880393182" Paper_ID="/29355.html" Extracted="1880393182" DDC="428.0071" Normalized_DDC="4280071" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:9027219710" Paper_ID="/29355.html" Extracted="9027219710" DDC="808.042" Normalized_DDC="808042" Normalized_Weight="0.06666666666666667" />

</rec>

<rec ID="/28450.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="A theory of types for pi-calculus," />

<rec ID="/287791.html" Type="article" CiteSeer_Book="Lecture Notes in Computer Science" CiteSeer_Volume="1782" Title="Secure Information Flow as Typed Process Behaviour,">

<identifier Org="ISBN:0387327207" Paper_ID="/287791.html" Extracted="0387327207" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:0769511465" Paper_ID="/287791.html" Extracted="0769511465" />

<identifier Org="ISBN:0769516890" Paper_ID="/287791.html" Extracted="0769516890" />

<identifier Org="ISBN:076951927X" Paper_ID="/287791.html" Extracted="076951927X" />

<identifier Org="ISBN:3540209557" Paper_ID="/287791.html" Extracted="3540209557" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:354022940X" Paper_ID="/287791.html" Extracted="354022940X" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:354029113X" Paper_ID="/287791.html" Extracted="354029113X" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540300074" Paper_ID="/287791.html" Extracted="3540300074" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540304959" Paper_ID="/287791.html" Extracted="3540304959" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540419608" Paper_ID="/287791.html" Extracted="3540419608" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540422870" Paper_ID="/287791.html" Extracted="3540422870" DDC="004" Normalized_DDC="004" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540424997" Paper_ID="/287791.html" Extracted="3540424997" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:354043366X" Paper_ID="/287791.html" Extracted="354043366X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540672621" Paper_ID="/287791.html" Extracted="3540672621" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540732276" Paper_ID="/287791.html" Extracted="3540732276" />

<identifier Org="ISBN:3540775048" Paper_ID="/287791.html" Extracted="3540775048" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.08333333333333333" />

</rec>

<rec ID="/114874.html" Type="inproceedings" CiteSeer_Book="Conference Record of POPL 94 21st ACM SIGPLANSIGACT Symposium on Principles of Programming Languages" CiteSeer_Volume="" Title="Combinatory Representation of Mobile Processes,">

<identifier Org="ISBN:0262161885" Paper_ID="/114874.html" Extracted="0262161885" DDC="004" Normalized_DDC="004" Normalized_Weight="0.1" />

<identifier Org="ISBN:3540440445" Paper_ID="/114874.html" Extracted="3540440445" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.1" />

<identifier Org="ISBN:3540578870" Paper_ID="/114874.html" Extracted="3540578870" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.1" />

<identifier Org="ISBN:3540581847" Paper_ID="/114874.html" Extracted="3540581847" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.1" />

<identifier Org="ISBN:3540606882" Paper_ID="/114874.html" Extracted="3540606882" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1" />

<identifier Org="ISBN:3540617566" Paper_ID="/114874.html" Extracted="3540617566" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.1" />

<identifier Org="ISBN:3540620346" Paper_ID="/114874.html" Extracted="3540620346" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.1" />

<identifier Org="ISBN:3540648968" Paper_ID="/114874.html" Extracted="3540648968" DDC="004" Normalized_DDC="004" Normalized_Weight="0.1" />

<identifier Org="ISBN:3540656995" Paper_ID="/114874.html" Extracted="3540656995" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1" />

<identifier Org="ISBN:3540664254" Paper_ID="/114874.html" Extracted="3540664254" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.1" />

</rec>

<rec ID="/75831.html" Type="article" CiteSeer_Book="Theoretical Computer Science" CiteSeer_Volume="151" Title="On reduction-based process semantics,">

<identifier Org="ISBN:0521873304" Paper_ID="/75831.html" Extracted="0521873304" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.0625" />

<identifier Org="ISBN:0818679263" Paper_ID="/75831.html" Extracted="0818679263" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />

<identifier Org="ISBN:1402081405" Paper_ID="/75831.html" Extracted="1402081405" DDC="004.01" Normalized_DDC="00401" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540002251" Paper_ID="/75831.html" Extracted="3540002251" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540006222" Paper_ID="/75831.html" Extracted="3540006222" DDC="005.8/2" Normalized_DDC="00582" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540208968" Paper_ID="/75831.html" Extracted="3540208968" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.0625" />

<identifier Org="ISBN:354022940X" Paper_ID="/75831.html" Extracted="354022940X" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540253882" Paper_ID="/75831.html" Extracted="3540253882" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540283099" Paper_ID="/75831.html" Extracted="3540283099" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540407537" Paper_ID="/75831.html" Extracted="3540407537" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540440445" Paper_ID="/75831.html" Extracted="3540440445" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540575294" Paper_ID="/75831.html" Extracted="3540575294" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540616047" Paper_ID="/75831.html" Extracted="3540616047" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540627812" Paper_ID="/75831.html" Extracted="3540627812" DDC="005.1/2" Normalized_DDC="00512" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540679014" Paper_ID="/75831.html" Extracted="3540679014" DDC="004.0151" Normalized_DDC="0040151" Normalized_Weight="0.0625" />

<identifier Org="ISBN:354071314X" Paper_ID="/75831.html" Extracted="354071314X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />

</rec>

<rec ID="/617059.html" Type="inproceedings" CiteSeer_Book="" CiteSeer_Volume="" Title="Type Reconstruction for Linear Pi-Calculus with {I/O} Subtyping,">

<identifier Org="ISBN:3540205276" Paper_ID="/617059.html" Extracted="3540205276" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.3333333333333333" />

<identifier Org="ISBN:3540678972" Paper_ID="/617059.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.3333333333333333" />

<identifier Org="ISBN:3540786627" Paper_ID="/617059.html" Extracted="3540786627" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.3333333333333333" />

</rec>

<rec ID="/320942.html" Type="inproceedings" CiteSeer_Book="Logic in Computer Science" CiteSeer_Volume="" Title="A Theory of Bisimulation for a Fragment of Concurrent {ML} with Local Names,">

<identifier Org="ISBN:0521543274" Paper_ID="/320942.html" Extracted="0521543274" DDC="515" Normalized_DDC="515" Normalized_Weight="0.2" />

<identifier Org="ISBN:0521873304" Paper_ID="/320942.html" Extracted="0521873304" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.2" />

<identifier Org="ISBN:1402070241" Paper_ID="/320942.html" Extracted="1402070241" DDC="004.165" Normalized_DDC="004165" Normalized_Weight="0.2" />

<identifier Org="ISBN:354029189X" Paper_ID="/320942.html" Extracted="354029189X" DDC="004.6/2" Normalized_DDC="00462" Normalized_Weight="0.2" />

<identifier Org="ISBN:3540424970" Paper_ID="/320942.html" Extracted="3540424970" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.2" />

<identifier Org="ISBN:3642020585" Paper_ID="/320942.html" Extracted="3642020585" />

</rec>

<rec ID="/306003.html" Type="inproceedings" CiteSeer_Book="ACM Symposium on Principles of Programming Languages POPL StPetersburg Beach Florida" CiteSeer_Volume="" Title="What are principal typings and what are they good for?,">

<identifier Org="ISBN:1581134150" Paper_ID="/306003.html" Extracted="1581134150" />

<identifier Org="ISBN:1581138199" Paper_ID="/306003.html" Extracted="1581138199" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:1591408520" Paper_ID="/306003.html" Extracted="1591408520" DDC="005.14" Normalized_DDC="00514" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:1595930663" Paper_ID="/306003.html" Extracted="1595930663" />

<identifier Org="ISBN:3540003266" Paper_ID="/306003.html" Extracted="3540003266" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540213139" Paper_ID="/306003.html" Extracted="3540213139" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540255931" Paper_ID="/306003.html" Extracted="3540255931" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540415173" Paper_ID="/306003.html" Extracted="3540415173" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540426728" Paper_ID="/306003.html" Extracted="3540426728" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540627812" Paper_ID="/306003.html" Extracted="3540627812" DDC="005.1/2" Normalized_DDC="00512" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540648275" Paper_ID="/306003.html" Extracted="3540648275" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540672575" Paper_ID="/306003.html" Extracted="3540672575" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540672621" Paper_ID="/306003.html" Extracted="3540672621" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540691634" Paper_ID="/306003.html" Extracted="3540691634" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540713891" Paper_ID="/306003.html" Extracted="3540713891" DDC="005.12" Normalized_DDC="00512" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:9812770984" Paper_ID="/306003.html" Extracted="9812770984" />

</rec>

<rec ID="/440914.html" Type="inproceedings" CiteSeer_Book="Proceedings of the 5th ECOOP Workshop on Mobile Object Systems MOS99" CiteSeer_Volume="" Title="A Static Type System for Detecting Potentially Transmissible Functions," />

<rec ID="/133416.html" Type="techreport" CiteSeer_Book="" CiteSeer_Volume="" Title="{Language Support for Mobile Agents},">

<identifier Org="ISBN:0412823403" Paper_ID="/133416.html" Extracted="0412823403" DDC="004.6" Normalized_DDC="0046" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:0521648211" Paper_ID="/133416.html" Extracted="0521648211" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:0824722930" Paper_ID="/133416.html" Extracted="0824722930" />

<identifier Org="ISBN:1558604472" Paper_ID="/133416.html" Extracted="1558604472" />

<identifier Org="ISBN:1558608176" Paper_ID="/133416.html" Extracted="1558608176" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:1581130740" Paper_ID="/133416.html" Extracted="1581130740" />

<identifier Org="ISBN:1591408520" Paper_ID="/133416.html" Extracted="1591408520" DDC="005.14" Normalized_DDC="00514" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:1841501220" Paper_ID="/133416.html" Extracted="1841501220" DDC="005.114" Normalized_DDC="005114" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540411925" Paper_ID="/133416.html" Extracted="3540411925" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540416455" Paper_ID="/133416.html" Extracted="3540416455" />

<identifier Org="ISBN:3540437908" Paper_ID="/133416.html" Extracted="3540437908" DDC="004.67/8" Normalized_DDC="004678" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540625038" Paper_ID="/133416.html" Extracted="3540625038" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540628037" Paper_ID="/133416.html" Extracted="3540628037" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540628525" Paper_ID="/133416.html" Extracted="3540628525" DDC="005.276" Normalized_DDC="005276" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540649255" Paper_ID="/133416.html" Extracted="3540649255" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540662383" Paper_ID="/133416.html" Extracted="3540662383" DDC="004.6" Normalized_DDC="0046" Normalized_Weight="0.08333333333333333" />

</rec>

<rec ID="/609.html" Type="article" CiteSeer_Book="ACM Transactions on Programming Languages and Systems" CiteSeer_Volume="21" Title="Linearity and the {Pi-Calculus},">

<identifier Org="ISBN:0262161885" Paper_ID="/609.html" Extracted="0262161885" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:0412797704" Paper_ID="/609.html" Extracted="0412797704" DDC="005.117" Normalized_DDC="005117" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:0792386469" Paper_ID="/609.html" Extracted="0792386469" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540407537" Paper_ID="/609.html" Extracted="3540407537" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540427872" Paper_ID="/609.html" Extracted="3540427872" DDC="004/.358" Normalized_DDC="004358" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540631658" Paper_ID="/609.html" Extracted="3540631658" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540643028" Paper_ID="/609.html" Extracted="3540643028" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540648968" Paper_ID="/609.html" Extracted="3540648968" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540653848" Paper_ID="/609.html" Extracted="3540653848" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540656995" Paper_ID="/609.html" Extracted="3540656995" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540657193" Paper_ID="/609.html" Extracted="3540657193" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540682643" Paper_ID="/609.html" Extracted="3540682643" />

<identifier Org="ISBN:3540738576" Paper_ID="/609.html" Extracted="3540738576" />

<identifier Org="ISBN:3540756973" Paper_ID="/609.html" Extracted="3540756973" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540766367" Paper_ID="/609.html" Extracted="3540766367" />

<identifier Org="ISBN:3540775048" Paper_ID="/609.html" Extracted="3540775048" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.07692307692307693" />

<identifier Org="ISBN:3540921877" Paper_ID="/609.html" Extracted="3540921877" />

<identifier Org="ISBN:3642005896" Paper_ID="/609.html" Extracted="3642005896" />

</rec>

<rec ID="/37664.html" Type="inproceedings" CiteSeer_Book="Second International Static Analysis Symposium SAS95" CiteSeer_Volume="" Title="Static Analysis of Communication for Asynchronous Concurrent Programming Languages,">

<identifier Org="ISBN:0521543274" Paper_ID="/37664.html" Extracted="0521543274" DDC="515" Normalized_DDC="515" Normalized_Weight="0.16666666666666666" />

<identifier Org="ISBN:0792384296" Paper_ID="/37664.html" Extracted="0792384296" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.16666666666666666" />

<identifier Org="ISBN:3540603603" Paper_ID="/37664.html" Extracted="3540603603" DDC="005.1/31" Normalized_DDC="005131" Normalized_Weight="0.16666666666666666" />

<identifier Org="ISBN:3540616268" Paper_ID="/37664.html" Extracted="3540616268" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.16666666666666666" />

<identifier Org="ISBN:3540647376" Paper_ID="/37664.html" Extracted="3540647376" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.16666666666666666" />

<identifier Org="ISBN:3540787380" Paper_ID="/37664.html" Extracted="3540787380" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.16666666666666666" />

</rec>

<rec ID="/50371.html" Type="InProceedings" CiteSeer_Book="Proceedings of the 24th ACM SIGPLANSIGACT Symposium on Principles of Programming Langauges POPL 97" CiteSeer_Volume="" Title="{Proof-Carrying Code},">

<identifier Org="ISBN:0201440997" Paper_ID="/50371.html" Extracted="0201440997" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:0262162288" Paper_ID="/50371.html" Extracted="0262162288" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:0387710574" Paper_ID="/50371.html" Extracted="0387710574" DDC="004.6" Normalized_DDC="0046" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:0470068523" Paper_ID="/50371.html" Extracted="0470068523" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:0471222011" Paper_ID="/50371.html" Extracted="0471222011" DDC="004.67/8/03" Normalized_DDC="00467803" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:0780341597" Paper_ID="/50371.html" Extracted="0780341597" />

<identifier Org="ISBN:084931240X" Paper_ID="/50371.html" Extracted="084931240X" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:0849322723" Paper_ID="/50371.html" Extracted="0849322723" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:1402006071" Paper_ID="/50371.html" Extracted="1402006071" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:1402081405" Paper_ID="/50371.html" Extracted="1402081405" DDC="004.01" Normalized_DDC="00401" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:1558608176" Paper_ID="/50371.html" Extracted="1558608176" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540007083" Paper_ID="/50371.html" Extracted="3540007083" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540008985" Paper_ID="/50371.html" Extracted="3540008985" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540230173" Paper_ID="/50371.html" Extracted="3540230173" DDC="511.36028563" Normalized_DDC="51136028563" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540252363" Paper_ID="/50371.html" Extracted="3540252363" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540255966" Paper_ID="/50371.html" Extracted="3540255966" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540417397" Paper_ID="/50371.html" Extracted="3540417397" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540439315" Paper_ID="/50371.html" Extracted="3540439315" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:354071409X" Paper_ID="/50371.html" Extracted="354071409X" />

</rec>

<rec ID="/7751.html" Type="inproceedings" CiteSeer_Book="Proceedings 8th IEEE Logics in Computer Science" CiteSeer_Volume="" Title="Typing and Subtyping for Mobile Processes,">

<identifier Org="ISBN:0412797704" Paper_ID="/7751.html" Extracted="0412797704" DDC="005.117" Normalized_DDC="005117" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:0818631406" Paper_ID="/7751.html" Extracted="0818631406" />

<identifier Org="ISBN:3540209557" Paper_ID="/7751.html" Extracted="3540209557" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540219935" Paper_ID="/7751.html" Extracted="3540219935" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540419608" Paper_ID="/7751.html" Extracted="3540419608" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540424970" Paper_ID="/7751.html" Extracted="3540424970" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540427872" Paper_ID="/7751.html" Extracted="3540427872" DDC="004/.358" Normalized_DDC="004358" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540428968" Paper_ID="/7751.html" Extracted="3540428968" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540581847" Paper_ID="/7751.html" Extracted="3540581847" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540643028" Paper_ID="/7751.html" Extracted="3540643028" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540647813" Paper_ID="/7751.html" Extracted="3540647813" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540648968" Paper_ID="/7751.html" Extracted="3540648968" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540653848" Paper_ID="/7751.html" Extracted="3540653848" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540661301" Paper_ID="/7751.html" Extracted="3540661301" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540732098" Paper_ID="/7751.html" Extracted="3540732098" DDC="004.01/51" Normalized_DDC="0040151" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540738576" Paper_ID="/7751.html" Extracted="3540738576" />

<identifier Org="ISBN:3540769277" Paper_ID="/7751.html" Extracted="3540769277" />

</rec>

<rec ID="/292384.html" Type="inproceedings" CiteSeer_Book="Symposium on Principles of Programming Languages" CiteSeer_Volume="" Title="Behavioral Equivalence in the Polymorphic $\pi$-calculus,">

<identifier Org="ISBN:0262161885" Paper_ID="/292384.html" Extracted="0262161885" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:0521631688" Paper_ID="/292384.html" Extracted="0521631688" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:0521873304" Paper_ID="/292384.html" Extracted="0521873304" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:0769511465" Paper_ID="/292384.html" Extracted="0769511465" />

<identifier Org="ISBN:1402081405" Paper_ID="/292384.html" Extracted="1402081405" DDC="004.01" Normalized_DDC="00401" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540008977" Paper_ID="/292384.html" Extracted="3540008977" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540205276" Paper_ID="/292384.html" Extracted="3540205276" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540427872" Paper_ID="/292384.html" Extracted="3540427872" DDC="004/.358" Normalized_DDC="004358" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540631658" Paper_ID="/292384.html" Extracted="3540631658" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540643028" Paper_ID="/292384.html" Extracted="3540643028" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540648968" Paper_ID="/292384.html" Extracted="3540648968" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540653848" Paper_ID="/292384.html" Extracted="3540653848" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540657193" Paper_ID="/292384.html" Extracted="3540657193" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540756973" Paper_ID="/292384.html" Extracted="3540756973" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540769277" Paper_ID="/292384.html" Extracted="3540769277" />

<identifier Org="ISBN:3540787380" Paper_ID="/292384.html" Extracted="3540787380" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

</rec>

<rec ID="/73430.html" Type="inproceedings" CiteSeer_Book="Proceedings of the 26th ACM SIGPLANSIGACT on Principles of programming languages POPL99" CiteSeer_Volume="" Title="{Trust and Partial Typing in Open Systems of Mobile Agents},">

<identifier Org="ISBN:0444828303" Paper_ID="/73430.html" Extracted="0444828303" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:0521771846" Paper_ID="/73430.html" Extracted="0521771846" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:0521873304" Paper_ID="/73430.html" Extracted="0521873304" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:0769516890" Paper_ID="/73430.html" Extracted="0769516890" />

<identifier Org="ISBN:076951927X" Paper_ID="/73430.html" Extracted="076951927X" />

<identifier Org="ISBN:0792379233" Paper_ID="/73430.html" Extracted="0792379233" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:1581133545" Paper_ID="/73430.html" Extracted="1581133545" DDC="005.71" Normalized_DDC="00571" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:1599045885" Paper_ID="/73430.html" Extracted="1599045885" DDC="621.381068/8" Normalized_DDC="6213810688" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540008861" Paper_ID="/73430.html" Extracted="3540008861" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540208879" Paper_ID="/73430.html" Extracted="3540208879" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540212981" Paper_ID="/73430.html" Extracted="3540212981" DDC="005" Normalized_DDC="005" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540283099" Paper_ID="/73430.html" Extracted="3540283099" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540424970" Paper_ID="/73430.html" Extracted="3540424970" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540425225" Paper_ID="/73430.html" Extracted="3540425225" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540661301" Paper_ID="/73430.html" Extracted="3540661301" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540735887" Paper_ID="/73430.html" Extracted="3540735887" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.07142857142857142" />

</rec>

<rec ID="/59950.html" Type="article" CiteSeer_Book="Lecture Notes in Computer Science" CiteSeer_Volume="1443" Title="Global/Local Subtyping and Capability Inference for a Distributed $\pi$-calculus,">

<identifier Org="ISBN:1595933883" Paper_ID="/59950.html" Extracted="1595933883" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.2" />

<identifier Org="ISBN:3540008977" Paper_ID="/59950.html" Extracted="3540008977" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.2" />

<identifier Org="ISBN:354022940X" Paper_ID="/59950.html" Extracted="354022940X" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.2" />

<identifier Org="ISBN:3540440437" Paper_ID="/59950.html" Extracted="3540440437" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.2" />

<identifier Org="ISBN:3540678972" Paper_ID="/59950.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.2" />

</rec>

<rec ID="/106352.html" Type="inproceedings" CiteSeer_Book="Partial Evaluation and SemanticBased Program Manipulation" CiteSeer_Volume="" Title="Effect Systems with Subtyping,">

<identifier Org="ISBN:0897917200" Paper_ID="/106352.html" Extracted="0897917200" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.2" />

<identifier Org="ISBN:3540433635" Paper_ID="/106352.html" Extracted="3540433635" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.2" />

<identifier Org="ISBN:3540603603" Paper_ID="/106352.html" Extracted="3540603603" DDC="005.1/31" Normalized_DDC="005131" Normalized_Weight="0.2" />

<identifier Org="ISBN:3540656995" Paper_ID="/106352.html" Extracted="3540656995" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.2" />

<identifier Org="ISBN:3540775048" Paper_ID="/106352.html" Extracted="3540775048" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.2" />

</rec>

<rec ID="/57501.html" Type="article" CiteSeer_Book="Information and Computation" CiteSeer_Volume="" Title="Region-Based Memory Management,">

<identifier Org="ISBN:0262162288" Paper_ID="/57501.html" Extracted="0262162288" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:1581134150" Paper_ID="/57501.html" Extracted="1581134150" />

<identifier Org="ISBN:1581135394" Paper_ID="/57501.html" Extracted="1581135394" DDC="004.5" Normalized_DDC="0045" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:1581139454" Paper_ID="/57501.html" Extracted="1581139454" />

<identifier Org="ISBN:3540236643" Paper_ID="/57501.html" Extracted="3540236643" DDC="005.758" Normalized_DDC="005758" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540237240" Paper_ID="/57501.html" Extracted="3540237240" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540405313" Paper_ID="/57501.html" Extracted="3540405313" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540439307" Paper_ID="/57501.html" Extracted="3540439307" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540440445" Paper_ID="/57501.html" Extracted="3540440445" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540679014" Paper_ID="/57501.html" Extracted="3540679014" DDC="004.0151" Normalized_DDC="0040151" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540717722" Paper_ID="/57501.html" Extracted="3540717722" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540735887" Paper_ID="/57501.html" Extracted="3540735887" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540746080" Paper_ID="/57501.html" Extracted="3540746080" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:3540787380" Paper_ID="/57501.html" Extracted="3540787380" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.08333333333333333" />

<identifier Org="ISBN:354088193X" Paper_ID="/57501.html" Extracted="354088193X" />

</rec>

<rec ID="/56002.html" Type="article" CiteSeer_Book="Lecture Notes in Computer Science" CiteSeer_Volume="821" Title="Typed Concurrent Objects,">

<identifier Org="ISBN:0262161885" Paper_ID="/56002.html" Extracted="0262161885" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:0387582029" Paper_ID="/56002.html" Extracted="0387582029" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:041273270X" Paper_ID="/56002.html" Extracted="041273270X" DDC="004.62" Normalized_DDC="00462" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:0412797704" Paper_ID="/56002.html" Extracted="0412797704" DDC="005.117" Normalized_DDC="005117" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:0521771846" Paper_ID="/56002.html" Extracted="0521771846" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:0769506224" Paper_ID="/56002.html" Extracted="0769506224" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:0792384296" Paper_ID="/56002.html" Extracted="0792384296" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:0792386469" Paper_ID="/56002.html" Extracted="0792386469" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540205365" Paper_ID="/56002.html" Extracted="3540205365" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:354041942X" Paper_ID="/56002.html" Extracted="354041942X" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540419608" Paper_ID="/56002.html" Extracted="3540419608" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540427872" Paper_ID="/56002.html" Extracted="3540427872" DDC="004/.358" Normalized_DDC="004358" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540625992" Paper_ID="/56002.html" Extracted="3540625992" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540643028" Paper_ID="/56002.html" Extracted="3540643028" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540665404" Paper_ID="/56002.html" Extracted="3540665404" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540678239" Paper_ID="/56002.html" Extracted="3540678239" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540678972" Paper_ID="/56002.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540734325" Paper_ID="/56002.html" Extracted="3540734325" DDC="570.15/1" Normalized_DDC="570151" Normalized_Weight="0.05555555555555555" />

</rec>

<rec ID="/367576.html" Type="inproceedings" CiteSeer_Book="" CiteSeer_Volume="" Title="Distribution and Mobility with Lexical Scoping in Process Calculi,">

<identifier Org="ISBN:0769506224" Paper_ID="/367576.html" Extracted="0769506224" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.2" />

<identifier Org="ISBN:142006486X" Paper_ID="/367576.html" Extracted="142006486X" DDC="004.01/51" Normalized_DDC="0040151" Normalized_Weight="0.2" />

<identifier Org="ISBN:3540241019" Paper_ID="/367576.html" Extracted="3540241019" DDC="004.65" Normalized_DDC="00465" Normalized_Weight="0.2" />

<identifier Org="ISBN:3540406735" Paper_ID="/367576.html" Extracted="3540406735" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.2" />

<identifier Org="ISBN:3540665404" Paper_ID="/367576.html" Extracted="3540665404" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.2" />

<identifier Org="ISBN:3540695001" Paper_ID="/367576.html" Extracted="3540695001" />

</rec>

<rec ID="/36426.html" Type="inproceedings" CiteSeer_Book="Conference Record of POPL 98 The 25TH ACM SIGPLANSIGACT Symposium on Principles of Programming Languages San Diego California" CiteSeer_Volume="" Title="Secure Information Flow in a Multi-Threaded Imperative Language,">

<identifier Org="ISBN:076951927X" Paper_ID="/36426.html" Extracted="076951927X" />

<identifier Org="ISBN:3540209557" Paper_ID="/36426.html" Extracted="3540209557" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540291075" Paper_ID="/36426.html" Extracted="3540291075" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540300074" Paper_ID="/36426.html" Extracted="3540300074" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540304959" Paper_ID="/36426.html" Extracted="3540304959" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:354042167X" Paper_ID="/36426.html" Extracted="354042167X" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540422870" Paper_ID="/36426.html" Extracted="3540422870" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540425225" Paper_ID="/36426.html" Extracted="3540425225" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:354043075X" Paper_ID="/36426.html" Extracted="354043075X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540433538" Paper_ID="/36426.html" Extracted="3540433538" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540442359" Paper_ID="/36426.html" Extracted="3540442359" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540661301" Paper_ID="/36426.html" Extracted="3540661301" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:354066677X" Paper_ID="/36426.html" Extracted="354066677X" DDC="005.1/14" Normalized_DDC="005114" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:354071409X" Paper_ID="/36426.html" Extracted="354071409X" />

<identifier Org="ISBN:3540748342" Paper_ID="/36426.html" Extracted="3540748342" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540766367" Paper_ID="/36426.html" Extracted="3540766367" />

<identifier Org="ISBN:3540775048" Paper_ID="/36426.html" Extracted="3540775048" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540787380" Paper_ID="/36426.html" Extracted="3540787380" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />

</rec>

<rec ID="/237480.html" Type="inproceedings" CiteSeer_Book="Foundations of Software Technology and Theoretical Computer Science" CiteSeer_Volume="" Title="Graph Types for Monadic Mobile Processes,">

<identifier Org="ISBN:0521771846" Paper_ID="/237480.html" Extracted="0521771846" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.0625" />

<identifier Org="ISBN:0818679263" Paper_ID="/237480.html" Extracted="0818679263" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />

<identifier Org="ISBN:1586031724" Paper_ID="/237480.html" Extracted="1586031724" DDC="005.101" Normalized_DDC="005101" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540253041" Paper_ID="/237480.html" Extracted="3540253041" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540419608" Paper_ID="/237480.html" Extracted="3540419608" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540427872" Paper_ID="/237480.html" Extracted="3540427872" DDC="004/.358" Normalized_DDC="004358" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540440437" Paper_ID="/237480.html" Extracted="3540440437" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540620346" Paper_ID="/237480.html" Extracted="3540620346" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540631658" Paper_ID="/237480.html" Extracted="3540631658" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540643028" Paper_ID="/237480.html" Extracted="3540643028" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540648968" Paper_ID="/237480.html" Extracted="3540648968" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540672575" Paper_ID="/237480.html" Extracted="3540672575" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540678239" Paper_ID="/237480.html" Extracted="3540678239" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540734198" Paper_ID="/237480.html" Extracted="3540734198" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540756973" Paper_ID="/237480.html" Extracted="3540756973" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540775048" Paper_ID="/237480.html" Extracted="3540775048" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.0625" />

</rec>

<rec ID="/312600.html" Type="inproceedings" CiteSeer_Book="" CiteSeer_Volume="" Title="Subtyping and Locality in Distributed Higher Order Processes,">

<identifier Org="ISBN:0521543274" Paper_ID="/312600.html" Extracted="0521543274" DDC="515" Normalized_DDC="515" Normalized_Weight="0.1" />

<identifier Org="ISBN:0769511465" Paper_ID="/312600.html" Extracted="0769511465" />

<identifier Org="ISBN:1402070241" Paper_ID="/312600.html" Extracted="1402070241" DDC="004.165" Normalized_DDC="004165" Normalized_Weight="0.1" />

<identifier Org="ISBN:1402071817" Paper_ID="/312600.html" Extracted="1402071817" DDC="004" Normalized_DDC="004" Normalized_Weight="0.1" />

<identifier Org="ISBN:1402081405" Paper_ID="/312600.html" Extracted="1402081405" DDC="004.01" Normalized_DDC="00401" Normalized_Weight="0.1" />

<identifier Org="ISBN:1581136285" Paper_ID="/312600.html" Extracted="1581136285" />

<identifier Org="ISBN:3540208879" Paper_ID="/312600.html" Extracted="3540208879" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.1" />

<identifier Org="ISBN:3540427872" Paper_ID="/312600.html" Extracted="3540427872" DDC="004/.358" Normalized_DDC="004358" Normalized_Weight="0.1" />

<identifier Org="ISBN:3540440437" Paper_ID="/312600.html" Extracted="3540440437" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.1" />

<identifier Org="ISBN:3540664254" Paper_ID="/312600.html" Extracted="3540664254" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.1" />

<identifier Org="ISBN:3540672575" Paper_ID="/312600.html" Extracted="3540672575" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1" />

<identifier Org="ISBN:3540752900" Paper_ID="/312600.html" Extracted="3540752900" DDC="003/.54" Normalized_DDC="00354" Normalized_Weight="0.1" />

</rec>

<rec ID="/444470.html" Type="inproceedings" CiteSeer_Book="Logic in Computer Science" CiteSeer_Volume="" Title="Assigning Types to Processes,">

<identifier Org="ISBN:1402071817" Paper_ID="/444470.html" Extracted="1402071817" DDC="004" Normalized_DDC="004" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:1581136285" Paper_ID="/444470.html" Extracted="1581136285" />

<identifier Org="ISBN:1595930906" Paper_ID="/444470.html" Extracted="1595930906" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540204911" Paper_ID="/444470.html" Extracted="3540204911" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540208879" Paper_ID="/444470.html" Extracted="3540208879" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540212981" Paper_ID="/444470.html" Extracted="3540212981" DDC="005" Normalized_DDC="005" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540213139" Paper_ID="/444470.html" Extracted="3540213139" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540241019" Paper_ID="/444470.html" Extracted="3540241019" DDC="004.65" Normalized_DDC="00465" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540291067" Paper_ID="/444470.html" Extracted="3540291067" DDC="004" Normalized_DDC="004" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540424970" Paper_ID="/444470.html" Extracted="3540424970" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540440437" Paper_ID="/444470.html" Extracted="3540440437" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540732276" Paper_ID="/444470.html" Extracted="3540732276" />

<identifier Org="ISBN:3540786627" Paper_ID="/444470.html" Extracted="3540786627" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3642021379" Paper_ID="/444470.html" Extracted="3642021379" />

</rec>

<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="Assigning Types to Processes">

<identifier Org="ISBN:1402071817" Paper_ID="SELF" Extracted="1402071817" DDC="004" Normalized_DDC="004" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:1581136285" Paper_ID="SELF" Extracted="1581136285" />

<identifier Org="ISBN:1595930906" Paper_ID="SELF" Extracted="1595930906" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540204911" Paper_ID="SELF" Extracted="3540204911" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540208879" Paper_ID="SELF" Extracted="3540208879" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540212981" Paper_ID="SELF" Extracted="3540212981" DDC="005" Normalized_DDC="005" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540213139" Paper_ID="SELF" Extracted="3540213139" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540241019" Paper_ID="SELF" Extracted="3540241019" DDC="004.65" Normalized_DDC="00465" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540291067" Paper_ID="SELF" Extracted="3540291067" DDC="004" Normalized_DDC="004" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540424970" Paper_ID="SELF" Extracted="3540424970" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540440437" Paper_ID="SELF" Extracted="3540440437" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540732276" Paper_ID="SELF" Extracted="3540732276" />

<identifier Org="ISBN:3540786627" Paper_ID="SELF" Extracted="3540786627" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3642021379" Paper_ID="SELF" Extracted="3642021379" />

</rec>

</references_metadata>