Action systems are a formalism for representing concurrent behaviours, based on interleaved atomic actions. We show how this model can be used to represent time-consuming, pre-emptible actions with real-time constraints. A development procedure is described which captures the steps programmers typically undertake in the design of real-time multi-tasking systems
Concurrent real-time applications are complicated since both timing and consistency constraints must...
It aims to extend the Object Calculus of Fiadeiro and Maibaum to cover durative actions and real-tim...
In this article we take a rather different view on models for real-time systems. First of all, trans...
. In this paper, we describe an approach to the representation, specification and implementation of ...
This paper develops a method for deriving controllers for real-time systems in which the components ...
AbstractThe notion of joint actions provides a natural execution model for a specification language,...
AbstractWe propose an action refinement approach for real-time concurrent processes with urgent inte...
A distributed computer system consists of different processes or agents that function largely autono...
Once strictly the province of assembly-language programmers, real-time computing has developed into ...
Reactive systems, i.e. those in constant interaction with their environments, are often distributed ...
We present a coordination language and its semantics for specification and implementation of object-...
AbstractWe develop an action systems-based approach that supports the separation of the design of th...
Action refinement is an essential operation in the design of concurrent systems, real-time or not. I...
. Action systems provide a general description of reactive systems, capable of modeling terminating,...
Action refinement for real-time concurrent processes with urgent interactions is studied, where a pa...
Concurrent real-time applications are complicated since both timing and consistency constraints must...
It aims to extend the Object Calculus of Fiadeiro and Maibaum to cover durative actions and real-tim...
In this article we take a rather different view on models for real-time systems. First of all, trans...
. In this paper, we describe an approach to the representation, specification and implementation of ...
This paper develops a method for deriving controllers for real-time systems in which the components ...
AbstractThe notion of joint actions provides a natural execution model for a specification language,...
AbstractWe propose an action refinement approach for real-time concurrent processes with urgent inte...
A distributed computer system consists of different processes or agents that function largely autono...
Once strictly the province of assembly-language programmers, real-time computing has developed into ...
Reactive systems, i.e. those in constant interaction with their environments, are often distributed ...
We present a coordination language and its semantics for specification and implementation of object-...
AbstractWe develop an action systems-based approach that supports the separation of the design of th...
Action refinement is an essential operation in the design of concurrent systems, real-time or not. I...
. Action systems provide a general description of reactive systems, capable of modeling terminating,...
Action refinement for real-time concurrent processes with urgent interactions is studied, where a pa...
Concurrent real-time applications are complicated since both timing and consistency constraints must...
It aims to extend the Object Calculus of Fiadeiro and Maibaum to cover durative actions and real-tim...
In this article we take a rather different view on models for real-time systems. First of all, trans...
DOI
Add to ORKG