Alireza Souri

2 Questions 15 Answers 0 Followers

Questions related from Alireza Souri

How can we convert a Label Transition System model to a Kripke Structure model?

How can we convert a Label Transition System model to a Kripke Structure model? for example, we can use Pi-Calculus for formal specification of a model. the Pi-Calculus is LTS based. also for...

12 December 2015 172 7 View

How can I simulate the resource discovery algorithm for mobile grid computing?

For showing the performance of resource discovery algorithm, we should simulate it in mobile grid computing by a simulation tool.

29 November 2014 7,760 6 View