9 search results - page 1 / 2 » Syntax and consistent equation semantics of hybrid Chi |
JLP
2006
13 years 4 months ago
2006
FORMATS
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...
ENTCS
2008
13 years 5 months ago
2008
Following earlier work, a modal logic for T-coalgebras is a functor L on a suitable variety. Syntax and proof system of the logic are given by presentations of the functor. This p...
FASE
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. Model-driven development is a field within software engineering in which software artifacts are represented as models in order to improve productivity, quality, and cost ...
CONCUR
2009
Springer
13 years 11 months ago
2009
Springer
Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolit...