Motivated by the close relation between real-time and fault tolerance, we investigate the foundations of a forma! framework to specify and verify real-time distributed systems that incorporate fault tolerance techniques. Therefore a denotational semantics is presented to describe the real-time behaviour of distributed programs in which concurrent processes communicate by synchronous messa.ge pa...

Motivated by the close relation between real-time and fault tolerance, we investigate the foundations of a forma! framework to specify and verify real-time distributed systems that incorporate fault tolerance techniques. Therefore a denotational semantics is presented to describe the real-time behaviour of distributed programs in which concurrent processes communicate by synchronous messa.ge pa...

reflective acts of understanding (which may involve grasping of finitary propositions) are simply an extension of our understanding in this more basic sense of 'having a world'. (p. 102) The intimate understanding we are talking about is best explained through a comparison to the way people comprehend basic aspects of the physical world. The 'experiential' comprehension gives people an ability ...

Motivated by the close relation between real-time and fault tolerance, we investigate the foundations of a forma! framework to specify and verify real-time distributed systems that incorporate fault tolerance techniques. Therefore a denotational semantics is presented to describe the real-time behaviour of distributed programs in which concurrent processes communicate by synchronous messa.ge pa...