1875 search results - page 116 / 375 » A Calculus of Broadcasting Systems |
121
Voted
BIRTHDAY
2007
Springer
15 years 9 months ago
2007
Springer
Superdeduction is a systematic way to extend a deduction system like the sequent calculus by new deduction rules computed from the user theory. We show how this could be done in a ...
141
click to vote
FSTTCS
1999
Springer
15 years 7 months ago
1999
Springer
The λ-calculus has been much used to study the theory of substitution in logical systems and programming languages. However, with explicit substitutions, it is possible to get fi...
110
click to vote
CMSB
2007
Springer
15 years 7 months ago
2007
Springer
This paper presents a simulation algorithm for the stochastic -calculus, designed for the efficient simulation of biological systems with large numbers of molecules. The cost of a ...
144
click to vote
ENTCS
2002
15 years 3 months ago
2002
This paper presents a step in the development of an operational approach to program extraction in type theory. In order to get a program from a lambda term, the logical parts need...
134
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Broadcasting is known to be an efficient means of disseminating data in wireless communication environments (such as Satellite, mobile phone networks,...). It has been recently ob...