Next: New Calculi for mobile Up: Progress Previous: Flow graphs and semantics
Next: New Calculi for mobile
Up: Progress
Previous: Flow graphs and semantics
The work done this year mainly deals with 4 main topics: new calculi for mobile and distributed processes, basic properties and types, bisimulations, proofs of protocols and transformational rules.