2 search results - page 1 / 1 » On the Characterization of Until as a Fixed Point Under Cloc... |
HVC
2007
Springer
13 years 11 months ago
2007
Springer
Modern hardware designs are typically based on multiple clocks. While a singly-clocked hardware design is easily described in standard temporal logics, describing a multiply-clocke...
IANDC
2006
13 years 4 months ago
2006
This paper generalizes existing connections between automata and logic to a coalgestraction level. Let F : Set Set be a standard functor that preserves weak pullbacks. We introdu...