A semantic model for developing and justifying specifications of communicating real-time processes is proposed. The semantics is state-based and compositional. The basic semantic objects are timed-observations of values of program variables, where time is assumed to be in the domain of real numbers. The internal actions and communications of a command are treated in a uniform way to obtain a simple semantic domain. An ordering on this domain for information approximation is developed. The proposed semantics models termination, failure, divergence, deadlock, and starvation, and supports an arbitrary degree of parallelism
In this paper we define an equivalence and a modal logic for real-time systems. The equivalence is b...
AbstractA theory of timewise refinement is presented. This allows the translation of specifications ...
We give a compositional denotational semantics for a real-time distributed language, based on the li...
Once strictly the province of assembly-language programmers, real-time computing has developed into ...
AbstractWe give a compositional denotational semantics for a real-time distributed language, based o...
A real-time system is typically a concurrent (or distributed) system whose computations and actions ...
. In this paper, we describe an approach to the representation, specification and implementation of ...
An important issue in real-time computing is the development of a usable and yet abstract computatio...
AbstractA refinement calculus for the development of real-time systems is presented. The calculus is...
To date, research in reasoning about timing properties of real-time programs has considered specific...
this paper we propose such a specification framework, which allows the specifier a choice of two lan...
Work on the formal description and analysis of real-time systems has followed two paths. On one side...
In this paper we propose a method for extending programming languages that enables the specification...
In this paper we define an equivalence and a modal logic for real-time systems. The equivalence is b...
AbstractA theory of timewise refinement is presented. This allows the translation of specifications ...
We give a compositional denotational semantics for a real-time distributed language, based on the li...
Once strictly the province of assembly-language programmers, real-time computing has developed into ...
AbstractWe give a compositional denotational semantics for a real-time distributed language, based o...
A real-time system is typically a concurrent (or distributed) system whose computations and actions ...
. In this paper, we describe an approach to the representation, specification and implementation of ...
An important issue in real-time computing is the development of a usable and yet abstract computatio...
AbstractA refinement calculus for the development of real-time systems is presented. The calculus is...
To date, research in reasoning about timing properties of real-time programs has considered specific...
this paper we propose such a specification framework, which allows the specifier a choice of two lan...
Work on the formal description and analysis of real-time systems has followed two paths. On one side...
In this paper we propose a method for extending programming languages that enables the specification...
In this paper we define an equivalence and a modal logic for real-time systems. The equivalence is b...
AbstractA theory of timewise refinement is presented. This allows the translation of specifications ...
We give a compositional denotational semantics for a real-time distributed language, based on the li...