In a previous paper [GHH96] the authors presented a program development technique for stochastic process algebra models which was centred on the translation from a model into an abstract program skeleton which presents the structural and behavioural information from the model in programming language notation. The intention of this work, which we continue here, is to support the methodical devel...

This paper gives a detailed overview of the work and the results of the authors of this paper in the area of Non-Lyapunov (finite time stability, technical stability, practical stability, final stability) for a particular class of linear continuous time delays systems. This survey covers the period since 2000 and has a strong intention to present the main concepts and contributions that have be...

An abstract is not available for this content. As you have access to content, full HTML content provided on page. A PDF of also in through the ‘Save PDF’ action button.