2 search results - page 1 / 1 » Tightening the Exchange Rates Between Automata |
73
Voted
CSL
2007
Springer
15 years 4 months ago
2007
Springer
Automata on infinite objects were the key to the solution of several fundamental decision problems in mathematics and logic. Today, automata on infinite objects are used for form...
81
Voted
SEFM
2005
IEEE
15 years 3 months ago
2005
IEEE
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...