Browse by author
Lookup NU author(s): Dr Manuel Mazzara, Dr Anirban Bhattacharyya
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism must meet, and use these to evaluate well-established formalisms and two process algebras that we have been developing.
Author(s): Mazzara M, Bhattacharyya A
Publication type: Report
Publication status: Published
Series Title: School of Computing Science Technical Report Series
Year: 2010
Pages: 11
Print publication date: 01/03/2010
Source Publication Date: March 2010
Report Number: 1192
Institution: School of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1192.pdf