73 search results - page 6 / 15 » A Coalgebraic Theory of Reactive Systems |
TECS
2008
13 years 8 months ago
2008
elationships between heterogeneous models at different levels of abstraction. In particular, they can be used to represent design transformations from tightly synchronized specific...
CALCO
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Labelled Markov processes are continuous-state fully probabilistic labelled transition systems. They can be seen as co-algebras of a suitable monad on the category of mea...
CONCUR
2007
Springer
14 years 2 months ago
2007
Springer
We study the construction of labelled transition systems from reactive systems defined over directed bigraphs, a computational meta-model which subsumes other variants of bigraphs...
LICS
2005
IEEE
14 years 2 months ago
2005
IEEE
The theory of reactive systems, introduced by Leifer and Milner and previously extended by the authors, allows the derivation of well-behaved labelled transition systems (LTS) for...
ICRA
2002
IEEE
14 years 1 months ago
2002
IEEE
In the modern world mobile robots are being utilized for many tasks that are either hazardous or unpleasant for human beings. The potential of robots to assume such tasks hinges o...