2108 search results - page 4 / 422 » An Operational Semantics for Stateflow |
103
click to vote
ENTCS
2010
14 years 9 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
14 years 11 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
14 years 11 months ago
2002
TCS
2002
14 years 11 months ago
2002
100
click to vote
BIRTHDAY
2009
Springer
14 years 9 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...