2722 search results - page 7 / 545 » The Model Evolution Calculus |
GPCE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
ENTCS
2002
13 years 7 months ago
2002
The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of t...
ICNC
2005
Springer
14 years 1 months ago
2005
Springer
We have developed a calculus, called Ipi, for describing the aberrance in biological models. Our approach extends the traditional pi calculus to handle aberrant process in the sign...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
A logic calculus is presented that is a conservative extension of linear logic. The motivation beneath this work concerns lazy evaluation, true concurrency and interferences in pro...
CONTEXT
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We discuss a membrane-based calculus for the combination of conceptual spaces during runtime. Since our goal is to support emergent properties of behavior (and due to the...