They include verifying a bounded number of sessions and its complexity, analyzing security protocols using communicating sequential processes (CSP), applied

pi calculus, protocol composition logic, and security analysis using rank functions in CSP.

Examples of topics discussed include a framework for analyzing correlative software and hardware faults, construction of remote experiment framework for magnetic resonance imaging technique, design of digital educational resource platforms in universities, novel stereo matching method on multi-scale Harris corner points, efficient supply chain adjustment model with demand fluctuation in e-commerce, web service interface extending and description based on

pi calculus, development of multi-video based virtual classroom and its application in English as second language learning, an improved genetic algorithm for vehicle routing problem with time-window, application of data mining in psychological evaluation, and an energy efficient dynamic clustering algorithm in wireless sensor networks.

Robin Milner formalized a different computational model in the late 1980s via mathematical rules known as pi calculus.

org) BPML (the latter being championed by SAP, among others), and those are both specified using pi calculus.

Given that technology context, it is certainly worth evaluating process development toolkits and process collaborations specified using pi calculus to see what they can do.

The rules have the form of typing rules for a basic concurrent language, the spi calculus [Abadi and Gordon 1997a; 1997b; 1998; 1999]; this calculus is an extension of the pi calculus [Milner et al.

In the pi calculus and the spi calculus, the name for a channel is the capability for the channel.

Their collective work on

pi calculus and correctness properties (livelock, deadlock and leak freedom) is the underpinning of WS-CDL, giving the language mathematical soundness.