[PDF][PDF] Using the π-calculus for modeling and verifying processes on web services
M Fadlisyah - Master's thesis, Insitute for Theoretical Computer …, 2004 - researchgate.net
In this master thesis report I present an application of the π-calculus for modeling and
verifying processes on Web services. The π-calculus is a theory for modeling interacting …
verifying processes on Web services. The π-calculus is a theory for modeling interacting …
[PDF][PDF] Using Pi-Calculus for specification of mobile agent communication.
G Jezic, I Lovrek - IASTED Conf. on Software Engineering and …, 2004 - researchgate.net
This paper presents formal specification and verification of agent migration and
communication in a mobile agent network. The specification has been written in π-calculus …
communication in a mobile agent network. The specification has been written in π-calculus …
Formal specification and verification of protocol-based handover in a mobile process
PC Vinh - Joint 4th IEEE International Conference on ATM …, 2001 - ieeexplore.ieee.org
In a current mobile computing system or future UMTS (universal mobile telecommunications
system) environment, some nodes change locations, and are therefore connected to …
system) environment, some nodes change locations, and are therefore connected to …
[PDF][PDF] Formal Specification of Protocol-Based Handover In a Mobile Process
PC Vinh - 2000 - academia.edu
In a current mobile computing system or future UMTS (Universal Mobile
Telecommunications System) environment, some nodes change locations, and are therefore …
Telecommunications System) environment, some nodes change locations, and are therefore …