Cited By
View all- Higashino MOsaki SOtagaki STakahashi KKawamura TSugahara KWeippl EIndrawan-Santiago MSteinbauer MKotsis GKhalil I(2013)Debugging Mobile Agent SystemsProceedings of International Conference on Information Integration and Web-based Applications & Services10.1145/2539150.2539261(667-670)Online publication date: 2-Dec-2013
- Bezerra JHirata C(2009)A polyadic pi-calculus approach for the formal specification of UML-RTAdvances in Software Engineering10.1155/2009/6568102009(1-16)Online publication date: 1-Jan-2009
- Smith G(2004)A formal framework for modelling and analysing mobile systemsProceedings of the 27th Australasian conference on Computer science - Volume 2610.5555/979922.979946(193-202)Online publication date: 1-Jan-2004