On specification and verification of location-based fault tolerant mobile systems (2005)

Author(s): Iliasov A, Khomenko V, Koutny M, Romanovsky A

    Notes: Book title: Rigorous Development of Complex Fault-Tolerant Systems. Proceedings (including this article) also posted at: http://www.cs.ncl.ac.uk/research/pubs/trs/papers/915.pdf Technical Report Series, CS-TR-915

      • Date: 19 July 2005
      • Conference Name: Rigorous Engineering of Fault Tolerant Systems (REFT)
      • Volume: 4157
      • Pages: 168-188
      • Publisher: Springer Berlin / Heidelberg
      • Publication type: Conference Proceedings (inc. abstract)
      • Bibliographic status: Published

      Keywords: mobile systems locations LINDA KLAIM process algebra Petri nets fault tolerance model checking CALCULUS KLAIM


      Dr Victor Khomenko
      Senior Lecturer

      Professor Maciej Koutny
      Professor of Computing Science

      Professor Alexander Romanovsky
      Prof of Computing Science