7681 search results - page 102 / 1537 » Typed Membrane Systems |
148
click to vote
SIAMSC
2008
15 years 5 months ago
2008
Many important physiological processes operate at time and space scales far beyond those accessible to atom-realistic simulations, and yet discrete stochastic rather than continuum...
126
Voted
TGC
2007
Springer
15 years 11 months ago
2007
Springer
We study type systems for termination in the π-calculus from the point of view of type inference. We analyse four systems by Deng and Sangiorgi. We show that inference can be done...
150
click to vote
FLOPS
2006
Springer
15 years 9 months ago
2006
Springer
Pocklington certificates are known to provide short proofs of primality. We show how to perform this in the framework of formal, mechanically checked, proofs. We present an encodin...
177
click to vote
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
We present an explicitly typed lambda calculus "`a la Church" based on the union and intersection types discipline; this system is the counterpart of the standard type a...
108
click to vote
EOR
2006
15 years 5 months ago
2006
We consider a queueing system with c servers and a threshold type vacation policy. In this system, when a certain number d<c of servers become idle at a service completion inst...