7943 search results - page 62 / 1589 » A calculus for costed computations |
100
click to vote
ENTCS
2006
15 years 6 months ago
2006
The -calculus is destructive: its main computational mechanism
171
click to vote
WOLLIC
2009
Springer
16 years 22 days 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...
184
click to vote
DALT
2004
Springer
15 years 11 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...
146
click to vote
WOLLIC
2009
Springer
16 years 22 days 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...
171
click to vote
AB
2007
Springer
16 years 10 days 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...