46 search results - page 1 / 10 » Extending statecharts with process algebra operators |
ISSE
2008
13 years 4 months ago
2008
CONCUR
1999
Springer
13 years 9 months ago
1999
Springer
Statecharts is a visual language for specifying the behavior of reactive systems. The language extends nite-state machines with concepts of hierarchy, concurrency, and priority. De...
SAJ
2000
13 years 4 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...
ESWS
2008
Springer
13 years 6 months ago
2008
Springer
A lot of work has been done in the area of data stream processing. Most of the previous approaches regard only relational or XML based streams but do not cover semantically richer ...
FCT
2003
Springer
13 years 10 months ago
2003
Springer
This paper presents a method for the decomposition of HML formulae. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms s...