• Article  

      On the analogy between streamlined magnetic and solid obstacles 

      Votyakov, E. V.; Kassinos, Stavros C. (2009)
      Analogies are elaborated in the qualitative description of two systems: the magnetohydrodynamic (MHD) flow moving through a region where an external local magnetic field (magnetic obstacle) is applied and the ordinary ...
    • Article  

      Process algebraic modelling and analysis of power-aware real-time systems 

      Lee, I.; Philippou, Anna; Sokolsky, O. (2002)
      A unified formal framework for designing and reasoning about power-constrained, real-time systems is described. The framework is based on process algebra, a formalism that has been developed to describe and analyse ...