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
      Reader in Formal Methods

      Professor Maciej Koutny
      CS Director of Research

      Professor Alexander Romanovsky
      Prof of Computing Science