73 search results - page 8 / 15 » A Coalgebraic Theory of Reactive Systems |
JCC
2007
13 years 8 months ago
2007
: This essay provides a perspective on several issues in valence bond theory: the physical significance of semilocal bonding orbitals, the capability of valence bond concepts to e...
IANDC
2006
13 years 8 months ago
2006
Abstract Bigraphs are graphs whose nodes may be nested, representing locality, independently of the edges connecting them. They may be equipped with reaction rules, forming a bigra...
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
Reactive real-time systems have to react to external events within time constraints: Triggered tasks must execute within deadlines. The goal of this article is to automate, based ...
FOSSACS
2008
Springer
13 years 10 months ago
2008
Springer
In recent years there have been several approaches for the automatic derivation of labels from an unlabeled reactive system. This can be done in such a way that the resulting bisim...
CORR
2009
Springer
13 years 6 months ago
2009
Springer
dels at different abstraction levels; in particular, higher-level (e.g. membrane) activities can be given a formal biological justification in terms of low-level (i.e., protein) in...