441 search results - page 2 / 89 » Refinement of Time |
DALT
2009
Springer
13 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 ...
COMPOS
1997
Springer
13 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...
CHARME
2003
Springer
13 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...
EUC
2005
Springer
13 years 11 months ago
2005
Springer
AMAST
1997
Springer
13 years 9 months ago
1997
Springer
Abstract. We present several formal program refinement rules for designing multi-tasking programs with hard real-time constraints.