2 search results - page 1 / 1 » Tightening the Exchange Rates Between Automata |
CSL
2007
Springer
13 years 10 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...
SEFM
2005
IEEE
13 years 10 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...