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

      Staff

      Dr Victor Khomenko
      Lecturer

      Professor Maciej Koutny
      Professor of Computing Science

      Professor Alexander Romanovsky
      Prof of Computing Science