3505 search results - page 35 / 701 » A Language for Human Action |
PRL
2010
15 years 2 months ago
2010
CORR
2011
Springer
14 years 11 months ago
2011
Springer
162
click to vote
LCTRTS
2010
Springer
15 years 1 months ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...