61 search results - page 4 / 13 » A Fibrational Approach to Automata Theory |
CSL
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Expansions of the natural number ordering by unary predicates are studied, using logics which in expressive power are located between first-order and monadic second-order...
78
Voted
CONCUR
2010
Springer
14 years 10 months ago
2010
Springer
Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy ...
100
Voted
CMSB
2011
Springer
13 years 9 months ago
2011
Springer
Abstract. This paper tackles theoretically the question of the structural stability of biological regulation networks subjected to the influence of their environment. The model of...
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...
LANMR
2007
14 years 11 months ago
2007
Teaching engineering students courses such as computer science theory, automata theory and discrete mathematics took us to realize that introducing basic notions of logic, especial...