Mobile process calculi provide a rigorous mathematical framework to model systems wherein processes can change their communication structure dynamically. Rooted in extensions of the π‐calculus, these ...
Journal of Philosophical Logic, Vol. 40, No. 5, Special Issue on Logic in India (October 2011), pp. 583-632 (50 pages) Reasoning about concurrent programs involves representing the information that ...
A reactive system maintains ongoing interactions with the environment to affect the processes in the environment and the control system. Object orientation of a reactive system offers an intuitive ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback