2108 search results - page 4 / 422 » An Operational Semantics for Stateflow |
ENTCS
2010
13 years 3 months ago
2010
A previously introduced combination of the bialgebraic approach to structural operational semantics with aic modal logic is re-examined and improved in some aspects. Firstly, a mo...
SAJ
2000
13 years 5 months ago
2000
This paper presents algebraic results that are important for the extended tyft/tyxt format [12, 13] which can be used to describe many different process algebras. This format is b...
ENTCS
2002
13 years 5 months ago
2002
TCS
2002
13 years 5 months ago
2002
BIRTHDAY
2009
Springer
13 years 3 months ago
2009
Springer
Weighted transition systems are defined, parametrized by a commutative monoid of weights. These systems are further understood as coalgebras for functors of a specific form. A gene...