Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung | Nächste Überarbeitung Beide Seiten der Revision | ||
|
forschung:applying_formal_methods_for_qos_provisioning_in_mobile_architectures [2009/09/24 16:10] barakat |
forschung:applying_formal_methods_for_qos_provisioning_in_mobile_architectures [2009/09/24 16:12] barakat |
||
|---|---|---|---|
| Zeile 9: | Zeile 9: | ||
| The Formal Model | The Formal Model | ||
| - | πCalculus | + | <html> |
| + | <html xmlns:v="urn:schemas-microsoft-com:vml" | ||
| + | xmlns:o="urn:schemas-microsoft-com:office:office" | ||
| + | xmlns:w="urn:schemas-microsoft-com:office:word" | ||
| + | xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" | ||
| + | xmlns="http://www.w3.org/TR/REC-html40"> | ||
| + | |||
| + | <head> | ||
| + | <meta http-equiv=Content-Type content="text/html; charset=windows-1252"> | ||
| + | <meta name=ProgId content=Word.Document> | ||
| + | <meta name=Generator content="Microsoft Word 12"> | ||
| + | <meta name=Originator content="Microsoft Word 12"> | ||
| + | <link rel=File-List href="πCalculus-Dateien/filelist.xml"> | ||
| + | <!--[if gte mso 9]><xml> | ||
| + | <o:DocumentProperties> | ||
| + | <o:Author>Kamal Barakat</o:Author> | ||
| + | <o:LastAuthor>Kamal Barakat</o:LastAuthor> | ||
| + | <o:Revision>1</o:Revision> | ||
| + | <o:Created>2009-09-24T14:08:00Z</o:Created> | ||
| + | <o:LastSaved>2009-09-24T14:09:00Z</o:LastSaved> | ||
| + | <o:Pages>1</o:Pages> | ||
| + | <o:Words>1</o:Words> | ||
| + | <o:Characters>9</o:Characters> | ||
| + | <o:Company>RWTH Aachen</o:Company> | ||
| + | <o:Lines>1</o:Lines> | ||
| + | <o:Paragraphs>1</o:Paragraphs> | ||
| + | <o:CharactersWithSpaces>9</o:CharactersWithSpaces> | ||
| + | <o:Version>12.00</o:Version> | ||
| + | </o:DocumentProperties> | ||
| + | </xml><![endif]--> | ||
| + | <link rel=themeData href="πCalculus-Dateien/themedata.thmx"> | ||
| + | <link rel=colorSchemeMapping href="πCalculus-Dateien/colorschememapping.xml"> | ||
| + | <!--[if gte mso 9]><xml> | ||
| + | <w:WordDocument> | ||
| + | <w:SpellingState>Clean</w:SpellingState> | ||
| + | <w:GrammarState>Clean</w:GrammarState> | ||
| + | <w:TrackMoves>false</w:TrackMoves> | ||
| + | <w:TrackFormatting/> | ||
| + | <w:HyphenationZone>21</w:HyphenationZone> | ||
| + | <w:PunctuationKerning/> | ||
| + | <w:ValidateAgainstSchemas/> | ||
| + | <w:SaveIfXMLInvalid>false</w:SaveIfXMLInvalid> | ||
| + | <w:IgnoreMixedContent>false</w:IgnoreMixedContent> | ||
| + | <w:AlwaysShowPlaceholderText>false</w:AlwaysShowPlaceholderText> | ||
| + | <w:DoNotPromoteQF/> | ||
| + | <w:LidThemeOther>DE</w:LidThemeOther> | ||
| + | <w:LidThemeAsian>X-NONE</w:LidThemeAsian> | ||
| + | <w:LidThemeComplexScript>AR-SA</w:LidThemeComplexScript> | ||
| + | <w:Compatibility> | ||
| + | <w:BreakWrappedTables/> | ||
| + | <w:SnapToGridInCell/> | ||
| + | <w:WrapTextWithPunct/> | ||
| + | <w:UseAsianBreakRules/> | ||
| + | <w:DontGrowAutofit/> | ||
| + | <w:SplitPgBreakAndParaMark/> | ||
| + | <w:DontVertAlignCellWithSp/> | ||
| + | <w:DontBreakConstrainedForcedTables/> | ||
| + | <w:DontVertAlignInTxbx/> | ||
| + | <w:Word11KerningPairs/> | ||
| + | <w:CachedColBalance/> | ||
| + | </w:Compatibility> | ||
| + | <w:BrowserLevel>MicrosoftInternetExplorer4</w:BrowserLevel> | ||
| + | <m:mathPr> | ||
| + | <m:mathFont m:val="Cambria Math"/> | ||
| + | <m:brkBin m:val="before"/> | ||
| + | <m:brkBinSub m:val="--"/> | ||
| + | <m:smallFrac m:val="off"/> | ||
| + | <m:dispDef/> | ||
| + | <m:lMargin m:val="0"/> | ||
| + | <m:rMargin m:val="0"/> | ||
| + | <m:defJc m:val="centerGroup"/> | ||
| + | <m:wrapIndent m:val="1440"/> | ||
| + | <m:intLim m:val="subSup"/> | ||
| + | <m:naryLim m:val="undOvr"/> | ||
| + | </m:mathPr></w:WordDocument> | ||
| + | </xml><![endif]--><!--[if gte mso 9]><xml> | ||
| + | <w:LatentStyles DefLockedState="false" DefUnhideWhenUsed="true" | ||
| + | DefSemiHidden="true" DefQFormat="false" DefPriority="99" | ||
| + | LatentStyleCount="267"> | ||
| + | <w:LsdException Locked="false" Priority="0" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" QFormat="true" Name="Normal"/> | ||
| + | <w:LsdException Locked="false" Priority="9" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" QFormat="true" Name="heading 1"/> | ||
| + | <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 2"/> | ||
| + | <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 3"/> | ||
| + | <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 4"/> | ||
| + | <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 5"/> | ||
| + | <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 6"/> | ||
| + | <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 7"/> | ||
| + | <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 8"/> | ||
| + | <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 9"/> | ||
| + | <w:LsdException Locked="false" Priority="39" Name="toc 1"/> | ||
| + | <w:LsdException Locked="false" Priority="39" Name="toc 2"/> | ||
| + | <w:LsdException Locked="false" Priority="39" Name="toc 3"/> | ||
| + | <w:LsdException Locked="false" Priority="39" Name="toc 4"/> | ||
| + | <w:LsdException Locked="false" Priority="39" Name="toc 5"/> | ||
| + | <w:LsdException Locked="false" Priority="39" Name="toc 6"/> | ||
| + | <w:LsdException Locked="false" Priority="39" Name="toc 7"/> | ||
| + | <w:LsdException Locked="false" Priority="39" Name="toc 8"/> | ||
| + | <w:LsdException Locked="false" Priority="39" Name="toc 9"/> | ||
| + | <w:LsdException Locked="false" Priority="35" QFormat="true" Name="caption"/> | ||
| + | <w:LsdException Locked="false" Priority="10" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" QFormat="true" Name="Title"/> | ||
| + | <w:LsdException Locked="false" Priority="1" Name="Default Paragraph Font"/> | ||
| + | <w:LsdException Locked="false" Priority="11" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" QFormat="true" Name="Subtitle"/> | ||
| + | <w:LsdException Locked="false" Priority="22" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" QFormat="true" Name="Strong"/> | ||
| + | <w:LsdException Locked="false" Priority="20" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" QFormat="true" Name="Emphasis"/> | ||
| + | <w:LsdException Locked="false" Priority="59" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Table Grid"/> | ||
| + | <w:LsdException Locked="false" UnhideWhenUsed="false" Name="Placeholder Text"/> | ||
| + | <w:LsdException Locked="false" Priority="1" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" QFormat="true" Name="No Spacing"/> | ||
| + | <w:LsdException Locked="false" Priority="60" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Light Shading"/> | ||
| + | <w:LsdException Locked="false" Priority="61" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Light List"/> | ||
| + | <w:LsdException Locked="false" Priority="62" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Light Grid"/> | ||
| + | <w:LsdException Locked="false" Priority="63" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium Shading 1"/> | ||
| + | <w:LsdException Locked="false" Priority="64" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium Shading 2"/> | ||
| + | <w:LsdException Locked="false" Priority="65" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium List 1"/> | ||
| + | <w:LsdException Locked="false" Priority="66" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium List 2"/> | ||
| + | <w:LsdException Locked="false" Priority="67" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium Grid 1"/> | ||
| + | <w:LsdException Locked="false" Priority="68" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium Grid 2"/> | ||
| + | <w:LsdException Locked="false" Priority="69" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium Grid 3"/> | ||
| + | <w:LsdException Locked="false" Priority="70" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Dark List"/> | ||
| + | <w:LsdException Locked="false" Priority="71" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Colorful Shading"/> | ||
| + | <w:LsdException Locked="false" Priority="72" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Colorful List"/> | ||
| + | <w:LsdException Locked="false" Priority="73" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Colorful Grid"/> | ||
| + | <w:LsdException Locked="false" Priority="60" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Light Shading Accent 1"/> | ||
| + | <w:LsdException Locked="false" Priority="61" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Light List Accent 1"/> | ||
| + | <w:LsdException Locked="false" Priority="62" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Light Grid Accent 1"/> | ||
| + | <w:LsdException Locked="false" Priority="63" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium Shading 1 Accent 1"/> | ||
| + | <w:LsdException Locked="false" Priority="64" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium Shading 2 Accent 1"/> | ||
| + | <w:LsdException Locked="false" Priority="65" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium List 1 Accent 1"/> | ||
| + | <w:LsdException Locked="false" UnhideWhenUsed="false" Name="Revision"/> | ||
| + | <w:LsdException Locked="false" Priority="34" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" QFormat="true" Name="List Paragraph"/> | ||
| + | <w:LsdException Locked="false" Priority="29" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" QFormat="true" Name="Quote"/> | ||
| + | <w:LsdException Locked="false" Priority="30" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" QFormat="true" Name="Intense Quote"/> | ||
| + | <w:LsdException Locked="false" Priority="66" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium List 2 Accent 1"/> | ||
| + | <w:LsdException Locked="false" Priority="67" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium Grid 1 Accent 1"/> | ||
| + | <w:LsdException Locked="false" Priority="68" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium Grid 2 Accent 1"/> | ||
| + | <w:LsdException Locked="false" Priority="69" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium Grid 3 Accent 1"/> | ||
| + | <w:LsdException Locked="false" Priority="70" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Dark List Accent 1"/> | ||
| + | <w:LsdException Locked="false" Priority="71" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Colorful Shading Accent 1"/> | ||
| + | <w:LsdException Locked="false" Priority="72" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Colorful List Accent 1"/> | ||
| + | <w:LsdException Locked="false" Priority="73" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Colorful Grid Accent 1"/> | ||
| + | <w:LsdException Locked="false" Priority="60" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Light Shading Accent 2"/> | ||
| + | <w:LsdException Locked="false" Priority="61" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Light List Accent 2"/> | ||
| + | <w:LsdException Locked="false" Priority="62" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Light Grid Accent 2"/> | ||
| + | <w:LsdException Locked="false" Priority="63" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium Shading 1 Accent 2"/> | ||
| + | <w:LsdException Locked="false" Priority="64" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium Shading 2 Accent 2"/> | ||
| + | <w:LsdException Locked="false" Priority="65" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium List 1 Accent 2"/> | ||
| + | <w:LsdException Locked="false" Priority="66" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium List 2 Accent 2"/> | ||
| + | <w:LsdException Locked="false" Priority="67" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium Grid 1 Accent 2"/> | ||
| + | <w:LsdException Locked="false" Priority="68" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium Grid 2 Accent 2"/> | ||
| + | <w:LsdException Locked="false" Priority="69" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium Grid 3 Accent 2"/> | ||
| + | <w:LsdException Locked="false" Priority="70" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Dark List Accent 2"/> | ||
| + | <w:LsdException Locked="false" Priority="71" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Colorful Shading Accent 2"/> | ||
| + | <w:LsdException Locked="false" Priority="72" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Colorful List Accent 2"/> | ||
| + | <w:LsdException Locked="false" Priority="73" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Colorful Grid Accent 2"/> | ||
| + | <w:LsdException Locked="false" Priority="60" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Light Shading Accent 3"/> | ||
| + | <w:LsdException Locked="false" Priority="61" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Light List Accent 3"/> | ||
| + | <w:LsdException Locked="false" Priority="62" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Light Grid Accent 3"/> | ||
| + | <w:LsdException Locked="false" Priority="63" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium Shading 1 Accent 3"/> | ||
| + | <w:LsdException Locked="false" Priority="64" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium Shading 2 Accent 3"/> | ||
| + | <w:LsdException Locked="false" Priority="65" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium List 1 Accent 3"/> | ||
| + | <w:LsdException Locked="false" Priority="66" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium List 2 Accent 3"/> | ||
| + | <w:LsdException Locked="false" Priority="67" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium Grid 1 Accent 3"/> | ||
| + | <w:LsdException Locked="false" Priority="68" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium Grid 2 Accent 3"/> | ||
| + | <w:LsdException Locked="false" Priority="69" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium Grid 3 Accent 3"/> | ||
| + | <w:LsdException Locked="false" Priority="70" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Dark List Accent 3"/> | ||
| + | <w:LsdException Locked="false" Priority="71" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Colorful Shading Accent 3"/> | ||
| + | <w:LsdException Locked="false" Priority="72" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Colorful List Accent 3"/> | ||
| + | <w:LsdException Locked="false" Priority="73" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Colorful Grid Accent 3"/> | ||
| + | <w:LsdException Locked="false" Priority="60" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Light Shading Accent 4"/> | ||
| + | <w:LsdException Locked="false" Priority="61" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Light List Accent 4"/> | ||
| + | <w:LsdException Locked="false" Priority="62" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Light Grid Accent 4"/> | ||
| + | <w:LsdException Locked="false" Priority="63" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium Shading 1 Accent 4"/> | ||
| + | <w:LsdException Locked="false" Priority="64" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium Shading 2 Accent 4"/> | ||
| + | <w:LsdException Locked="false" Priority="65" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium List 1 Accent 4"/> | ||
| + | <w:LsdException Locked="false" Priority="66" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium List 2 Accent 4"/> | ||
| + | <w:LsdException Locked="false" Priority="67" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium Grid 1 Accent 4"/> | ||
| + | <w:LsdException Locked="false" Priority="68" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium Grid 2 Accent 4"/> | ||
| + | <w:LsdException Locked="false" Priority="69" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium Grid 3 Accent 4"/> | ||
| + | <w:LsdException Locked="false" Priority="70" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Dark List Accent 4"/> | ||
| + | <w:LsdException Locked="false" Priority="71" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Colorful Shading Accent 4"/> | ||
| + | <w:LsdException Locked="false" Priority="72" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Colorful List Accent 4"/> | ||
| + | <w:LsdException Locked="false" Priority="73" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Colorful Grid Accent 4"/> | ||
| + | <w:LsdException Locked="false" Priority="60" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Light Shading Accent 5"/> | ||
| + | <w:LsdException Locked="false" Priority="61" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Light List Accent 5"/> | ||
| + | <w:LsdException Locked="false" Priority="62" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Light Grid Accent 5"/> | ||
| + | <w:LsdException Locked="false" Priority="63" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium Shading 1 Accent 5"/> | ||
| + | <w:LsdException Locked="false" Priority="64" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium Shading 2 Accent 5"/> | ||
| + | <w:LsdException Locked="false" Priority="65" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium List 1 Accent 5"/> | ||
| + | <w:LsdException Locked="false" Priority="66" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium List 2 Accent 5"/> | ||
| + | <w:LsdException Locked="false" Priority="67" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium Grid 1 Accent 5"/> | ||
| + | <w:LsdException Locked="false" Priority="68" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium Grid 2 Accent 5"/> | ||
| + | <w:LsdException Locked="false" Priority="69" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium Grid 3 Accent 5"/> | ||
| + | <w:LsdException Locked="false" Priority="70" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Dark List Accent 5"/> | ||
| + | <w:LsdException Locked="false" Priority="71" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Colorful Shading Accent 5"/> | ||
| + | <w:LsdException Locked="false" Priority="72" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Colorful List Accent 5"/> | ||
| + | <w:LsdException Locked="false" Priority="73" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Colorful Grid Accent 5"/> | ||
| + | <w:LsdException Locked="false" Priority="60" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Light Shading Accent 6"/> | ||
| + | <w:LsdException Locked="false" Priority="61" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Light List Accent 6"/> | ||
| + | <w:LsdException Locked="false" Priority="62" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Light Grid Accent 6"/> | ||
| + | <w:LsdException Locked="false" Priority="63" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium Shading 1 Accent 6"/> | ||
| + | <w:LsdException Locked="false" Priority="64" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium Shading 2 Accent 6"/> | ||
| + | <w:LsdException Locked="false" Priority="65" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium List 1 Accent 6"/> | ||
| + | <w:LsdException Locked="false" Priority="66" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium List 2 Accent 6"/> | ||
| + | <w:LsdException Locked="false" Priority="67" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium Grid 1 Accent 6"/> | ||
| + | <w:LsdException Locked="false" Priority="68" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium Grid 2 Accent 6"/> | ||
| + | <w:LsdException Locked="false" Priority="69" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Medium Grid 3 Accent 6"/> | ||
| + | <w:LsdException Locked="false" Priority="70" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Dark List Accent 6"/> | ||
| + | <w:LsdException Locked="false" Priority="71" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Colorful Shading Accent 6"/> | ||
| + | <w:LsdException Locked="false" Priority="72" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Colorful List Accent 6"/> | ||
| + | <w:LsdException Locked="false" Priority="73" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" Name="Colorful Grid Accent 6"/> | ||
| + | <w:LsdException Locked="false" Priority="19" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" QFormat="true" Name="Subtle Emphasis"/> | ||
| + | <w:LsdException Locked="false" Priority="21" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" QFormat="true" Name="Intense Emphasis"/> | ||
| + | <w:LsdException Locked="false" Priority="31" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" QFormat="true" Name="Subtle Reference"/> | ||
| + | <w:LsdException Locked="false" Priority="32" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" QFormat="true" Name="Intense Reference"/> | ||
| + | <w:LsdException Locked="false" Priority="33" SemiHidden="false" | ||
| + | UnhideWhenUsed="false" QFormat="true" Name="Book Title"/> | ||
| + | <w:LsdException Locked="false" Priority="37" Name="Bibliography"/> | ||
| + | <w:LsdException Locked="false" Priority="39" QFormat="true" Name="TOC Heading"/> | ||
| + | </w:LatentStyles> | ||
| + | </xml><![endif]--> | ||
| + | <style> | ||
| + | <!-- | ||
| + | /* Font Definitions */ | ||
| + | @font-face | ||
| + | {font-family:"Cambria Math"; | ||
| + | panose-1:2 4 5 3 5 4 6 3 2 4; | ||
| + | mso-font-charset:0; | ||
| + | mso-generic-font-family:roman; | ||
| + | mso-font-pitch:variable; | ||
| + | mso-font-signature:-1610611985 1107304683 0 0 159 0;} | ||
| + | @font-face | ||
| + | {font-family:Calibri; | ||
| + | panose-1:2 15 5 2 2 2 4 3 2 4; | ||
| + | mso-font-charset:0; | ||
| + | mso-generic-font-family:swiss; | ||
| + | mso-font-pitch:variable; | ||
| + | mso-font-signature:-1610611985 1073750139 0 0 159 0;} | ||
| + | @font-face | ||
| + | {font-family:"Bradley Hand ITC"; | ||
| + | panose-1:3 7 4 2 5 3 2 3 2 3; | ||
| + | mso-font-charset:0; | ||
| + | mso-generic-font-family:script; | ||
| + | mso-font-pitch:variable; | ||
| + | mso-font-signature:3 0 0 0 1 0;} | ||
| + | @font-face | ||
| + | {font-family:"Script MT Bold"; | ||
| + | panose-1:3 4 6 2 4 6 7 8 9 4; | ||
| + | mso-font-charset:0; | ||
| + | mso-generic-font-family:script; | ||
| + | mso-font-pitch:variable; | ||
| + | mso-font-signature:3 0 0 0 1 0;} | ||
| + | /* Style Definitions */ | ||
| + | p.MsoNormal, li.MsoNormal, div.MsoNormal | ||
| + | {mso-style-unhide:no; | ||
| + | mso-style-qformat:yes; | ||
| + | mso-style-parent:""; | ||
| + | margin-top:0cm; | ||
| + | margin-right:0cm; | ||
| + | margin-bottom:10.0pt; | ||
| + | margin-left:0cm; | ||
| + | line-height:115%; | ||
| + | mso-pagination:widow-orphan; | ||
| + | font-size:11.0pt; | ||
| + | font-family:"Calibri","sans-serif"; | ||
| + | mso-ascii-font-family:Calibri; | ||
| + | mso-ascii-theme-font:minor-latin; | ||
| + | mso-fareast-font-family:Calibri; | ||
| + | mso-fareast-theme-font:minor-latin; | ||
| + | mso-hansi-font-family:Calibri; | ||
| + | mso-hansi-theme-font:minor-latin; | ||
| + | mso-bidi-font-family:Arial; | ||
| + | mso-bidi-theme-font:minor-bidi; | ||
| + | mso-fareast-language:EN-US;} | ||
| + | .MsoChpDefault | ||
| + | {mso-style-type:export-only; | ||
| + | mso-default-props:yes; | ||
| + | mso-ascii-font-family:Calibri; | ||
| + | mso-ascii-theme-font:minor-latin; | ||
| + | mso-fareast-font-family:Calibri; | ||
| + | mso-fareast-theme-font:minor-latin; | ||
| + | mso-hansi-font-family:Calibri; | ||
| + | mso-hansi-theme-font:minor-latin; | ||
| + | mso-bidi-font-family:Arial; | ||
| + | mso-bidi-theme-font:minor-bidi; | ||
| + | mso-fareast-language:EN-US;} | ||
| + | .MsoPapDefault | ||
| + | {mso-style-type:export-only; | ||
| + | margin-bottom:10.0pt; | ||
| + | line-height:115%;} | ||
| + | @page Section1 | ||
| + | {size:595.3pt 841.9pt; | ||
| + | margin:70.85pt 70.85pt 2.0cm 70.85pt; | ||
| + | mso-header-margin:35.4pt; | ||
| + | mso-footer-margin:35.4pt; | ||
| + | mso-paper-source:0;} | ||
| + | div.Section1 | ||
| + | {page:Section1;} | ||
| + | --> | ||
| + | </style> | ||
| + | <!--[if gte mso 10]> | ||
| + | <style> | ||
| + | /* Style Definitions */ | ||
| + | table.MsoNormalTable | ||
| + | {mso-style-name:"Normale Tabelle"; | ||
| + | mso-tstyle-rowband-size:0; | ||
| + | mso-tstyle-colband-size:0; | ||
| + | mso-style-noshow:yes; | ||
| + | mso-style-priority:99; | ||
| + | mso-style-qformat:yes; | ||
| + | mso-style-parent:""; | ||
| + | mso-padding-alt:0cm 5.4pt 0cm 5.4pt; | ||
| + | mso-para-margin-top:0cm; | ||
| + | mso-para-margin-right:0cm; | ||
| + | mso-para-margin-bottom:10.0pt; | ||
| + | mso-para-margin-left:0cm; | ||
| + | line-height:115%; | ||
| + | mso-pagination:widow-orphan; | ||
| + | font-size:11.0pt; | ||
| + | font-family:"Calibri","sans-serif"; | ||
| + | mso-ascii-font-family:Calibri; | ||
| + | mso-ascii-theme-font:minor-latin; | ||
| + | mso-hansi-font-family:Calibri; | ||
| + | mso-hansi-theme-font:minor-latin; | ||
| + | mso-fareast-language:EN-US;} | ||
| + | </style> | ||
| + | <![endif]--><!--[if gte mso 9]><xml> | ||
| + | <o:shapedefaults v:ext="edit" spidmax="2050"/> | ||
| + | </xml><![endif]--><!--[if gte mso 9]><xml> | ||
| + | <o:shapelayout v:ext="edit"> | ||
| + | <o:idmap v:ext="edit" data="1"/> | ||
| + | </o:shapelayout></xml><![endif]--> | ||
| + | </head> | ||
| + | |||
| + | <body lang=DE style='tab-interval:35.4pt'> | ||
| + | |||
| + | <div class=Section1> | ||
| + | |||
| + | <p class=MsoNormal align=center style='text-align:center'><span | ||
| + | style='font-size:100.0pt;line-height:115%;font-family:"Bradley Hand ITC"; | ||
| + | mso-bidi-font-family:Arial;color:#0070C0'>π</span><b><span | ||
| + | style='font-size:28.0pt;line-height:115%;font-family:"Script MT Bold"; | ||
| + | mso-bidi-font-family:Arial'>Calculus</span></b></p> | ||
| + | |||
| + | </div> | ||
| + | |||
| + | </body> | ||
| + | |||
| + | </html> | ||
| + | |||
| + | </html> | ||
| Π-Calculus is a modeling formality that focuses on communicating processes. It offers firm representation of connectivity and messaging using math-like expressions. Π-Calculus had initially a monadic syntax where single arguments are passed through channels. Later on, polyadic π-Calculus was introduced to allow pushing sets of arguments at once over the communication channels. Process replication was also introduced. In the higher order π-Calculus, process names can be exchanged through the channels too. Some research uses available syntax to express problems like QoS while others ground their own flavor of it by introducing modifications to the syntax like spi-Calculus which is specifically suitable for cryptology. One more example is Ambient-Calculus which concerns itself with defining computation domains or ambiences where communication between local processes happens within its boundary, ambiences can move and communication crossing the border is analogous to crossing firewalls. The extensibility, expressiveness, flexibility and firm formality of π-Calculus make it the most suitable tool for modeling communication protocols and prototypes of enhancements. This work aims to make further contributions to π-Calculus in order to achieve the following: | Π-Calculus is a modeling formality that focuses on communicating processes. It offers firm representation of connectivity and messaging using math-like expressions. Π-Calculus had initially a monadic syntax where single arguments are passed through channels. Later on, polyadic π-Calculus was introduced to allow pushing sets of arguments at once over the communication channels. Process replication was also introduced. In the higher order π-Calculus, process names can be exchanged through the channels too. Some research uses available syntax to express problems like QoS while others ground their own flavor of it by introducing modifications to the syntax like spi-Calculus which is specifically suitable for cryptology. One more example is Ambient-Calculus which concerns itself with defining computation domains or ambiences where communication between local processes happens within its boundary, ambiences can move and communication crossing the border is analogous to crossing firewalls. The extensibility, expressiveness, flexibility and firm formality of π-Calculus make it the most suitable tool for modeling communication protocols and prototypes of enhancements. This work aims to make further contributions to π-Calculus in order to achieve the following: | ||