441 search results - page 2 / 89 » Refinement of Time |
193
click to vote
DALT
2009
Springer
15 years 9 months ago
2009
Springer
This paper generalises the theory of agent refinement from [1] to multi-agent systems in the presence of new coordination mechanisms extended with real time. The generalisation is ...
147
Voted
COMPOS
1997
Springer
15 years 10 months ago
1997
Springer
We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distr...
134
click to vote
CHARME
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...
160
click to vote
AMAST
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. We present several formal program refinement rules for designing multi-tasking programs with hard real-time constraints.