119 search results - page 10 / 24 » Synchronous Kleene algebra |
LOGCOM
2002
13 years 7 months ago
2002
CAI
2011
Springer
12 years 11 months ago
2011
Springer
Abstract. The concatenation product is one of the most important operations on regular languages. Its study requires sophisticated tools from algebra, ļ¬nite model theory and proļ...
POPL
2003
ACM
14 years 8 months ago
2003
ACM
We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems. It is known that typical dataflow ...
ICCAD
1994
IEEE
13 years 11 months ago
1994
IEEE
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synch...
MFCS
2009
Springer
14 years 2 months ago
2009
Springer
Functional graph grammars are ļ¬nite devices which generate the class of regular automata. We recall the notion of synchronization by grammars, and for any given grammar we consid...