Title:
ServiceCompositionVerification_Pi-calculus
Download
Description: Portfolio of services based on pi calculus authentication method to verify whether the combination of services to meet the demand, provide two test cases are cases of successful cases for the validation counter-examples Examples for the validation failure
To Search:
File list (Check if you may need any files):
ServiceCompositionVerification_Pi-calculus\ServiceCompositionVerification_Pi-calculus\bin\Debug\ServiceCompositionVerification_Pi-calculus.exe
..........................................\..........................................\...\.....\ServiceCompositionVerification_Pi-calculus.pdb
..........................................\..........................................\...\.....\ServiceCompositionVerification_Pi-calculus.vshost.exe
..........................................\..........................................\channel.cs
..........................................\..........................................\Form1.cs
..........................................\..........................................\Form1.Designer.cs
..........................................\..........................................\Form1.resx
..........................................\..........................................\obj\Debug\ServiceCompositionVerification_Pi-calculus.csproj.GenerateResource.Cache
..........................................\..........................................\...\.....\ServiceCompositionVerification_Pi-calculus.exe
..........................................\..........................................\...\.....\ServiceCompositionVerification_Pi-calculus.pdb
..........................................\..........................................\...\.....\ServiceCompositionVerification_Pi_calculus.Form1.resources
..........................................\..........................................\...\.....\ServiceCompositionVerification_Pi_calculus.Properties.Resources.resources
..........................................\..........................................\...\ServiceCompositionVerification_Pi-calculus.csproj.FileList.txt
..........................................\..........................................\Process.cs
..........................................\..........................................\Program.cs
..........................................\..........................................\...perties\AssemblyInfo.cs
..........................................\..........................................\..........\Resources.Designer.cs
..........................................\..........................................\..........\Resources.resx
..........................................\..........................................\..........\Settings.Designer.cs
..........................................\..........................................\..........\Settings.settings
..........................................\..........................................\ServiceCompositionVerification_Pi-calculus.csproj
..........................................\ServiceCompositionVerification_Pi-calculus.sln
..........................................\ServiceCompositionVerification_Pi-calculus.suo
..........................................\..........................................\obj\Debug\TempPE
..........................................\..........................................\bin\Debug
..........................................\..........................................\obj\Debug
..........................................\..........................................\bin
..........................................\..........................................\obj
..........................................\..........................................\Properties
..........................................\ServiceCompositionVerification_Pi-calculus
ServiceCompositionVerification_Pi-calculus
