7943 search results - page 62 / 1589 » A calculus for costed computations |
ENTCS
2006
14 years 10 months ago
2006
The -calculus is destructive: its main computational mechanism
WOLLIC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We define a notion of recognizable sets of simply typed λterms that extends the notion of recognizable sets of strings or trees. This definition is based on finite mo...
100
click to vote
DALT
2004
Springer
15 years 3 months ago
2004
Springer
The concept of a social norm is used in multi-agent systems to specify behaviours required of agents interacting in a given social context. We describe a method for specifying soci...
WOLLIC
2009
Springer
15 years 4 months ago
2009
Springer
We give a simple intuitionistic completeness proof of Kripke semantics with constant domain for intuitionistic logic with implication and universal quantification. We use a cut-fr...
AB
2007
Springer
15 years 4 months ago
2007
Springer
We present SpiCO, a new modeling and simulation language for systems biology. SpiCO is based on the stochastic π-calculus. It supports higher level modeling via multi-profile con...