|
|
- A. Iliasov, A. Romanovsky. Exception Handling in Coordination-based Mobile Environments. Proceedings of the 29th Annual International Computer Software and Applications Conference (COMPSAC 2005), IEEE Computer Society Press, pp. 341-350, 2005. pdf
- A.Iliasov, V. Khomenko, M. Koutny and A. Romanovsky. On Specification and Verification of Location-based Fault Tolerant Mobile Systems. In Proc. REFT'05 - Workshop on Rigorous Engineering of Fault Tolerant Systems, Newcastle upon Tyne (UK). Technical report, University of Newcastle
upon Tyne. UK. July 2005.pdf
- A. Iliasov, L. Laibinis, A. Romanovsky, E. Troubitsyna. Towards Formal Development of Mobile Location-based Systems. Workshop on Rigorous Engineering of Fault Tolerant Systems, 19th July 2005, FME 2005. Newcastle upon Tyne, UK.
pdf
- A. Iliasov, A. Romanovsky. CAMA: Structured Communication Space and Exception Propagation Mechanism for Mobile Agents. ECOOP-EHWS 2005, 19 July 2005, Glasgow. pdf
|
