223 search results - page 24 / 45 » Synchronization of Pushdown Automata |
DLT
2009
14 years 7 months ago
2009
Cern
82
Voted
EMSOFT
2006
Springer
15 years 1 months ago
2006
Springer
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...
WIA
2007
Springer
15 years 3 months ago
2007
Springer
DLT
2001
14 years 11 months ago
2001
FAC
2008
14 years 9 months ago
2008
Given deterministic interfaces P and Q, we investigate the problem of synthesising an interface R such that P composed with R refines Q. We show that a solution exists iff P and Q ...