2722 search results - page 143 / 545 » The Model Evolution Calculus |
171
click to vote
TLCA
2001
Springer
15 years 10 months ago
2001
Springer
Using methods drawn from Game Semantics, we build a sound and computationally adequate model of a simple calculus that includes both subtyping and recursive types. Our model solves...
144
click to vote
CIE
2006
Springer
15 years 10 months ago
2006
Springer
Wegner and Eberbach[Weg04b] have argued that there are fundamental limitations to Turing Machines as a foundation of computability and that these can be overcome by so-called super...
172
click to vote
ENTCS
2008
15 years 6 months ago
2008
We study the algebraic structure of directed bigraphs, a bigraphical model of computations with locations, connections and resources previously introduced as a unifying generaliza...
149
click to vote
JAPLL
2007
15 years 6 months ago
2007
Starting off from the infinitary system for common knowledge over multi-modal epistemic logic presented in Alberucci and J¨ager [1], we apply the finite model property to “...
171
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
Mobile ad hoc networks consist of mobile wireless devices which autonomously organize their infrastructure. In such a network, a central issue, ensured by routing protocols, is to ...